Statistics
Publications
2
Citations
34
H-Index
2
Active since
2010
Affiliations
Filipe Militão is an author at Universidade Nova de Lisboa specializing in type state analysis, type systems, and formal methods.
Publications per year
2010–2014
2
2
Aliasing control with view-based typestate
Filipe Militão, Jonathan Aldrich · 2010 · 24 citations
Filipe Militão, Jonathan Aldrich · 2014 · 10 citations
1–2 of 2