Statistics
Publications
2
Citations
28
H-Index
2
Active since
2009
Affiliations
University College Dublin(Current)
Fintan Fairmichael is an author at University College Dublin specializing in computer science, algorithms, and strongest postconditions.
Publications per year
2009–2011
2
2
Strongest postcondition of unstructured programs
Radu Grigore, Julien Charles, Fintan Fairmichael et al. · 2009 · 18 citations
Daniel M. Zimmerman, Joseph R. Kiniry, Fintan Fairmichael · 2011 · 10 citations
1–2 of 2