
Michael Butler (12) (1967–)
Author of FM 2011 formal methods : 17th International Symposium on Formal Methods : Limerick, Ireland, June 20-24, 2011 : proceedings
For other authors named Michael Butler, see the disambiguation page.
Works by Michael Butler
Tagged
Common Knowledge
- Birthdate
- 1967-05-25
- Gender
- male
- Education
- Trinity College Dublin (BA ∙ Computer Science)
University of Oxford (M.Sc. ∙ Computation)
University of Oxford (D.Phil. ∙ Computation) - Occupations
- professor (Computer Science ∙ University of Southampton ∙ UK)
- Birthplace
- Ireland
- Associated Place (for map)
- Ireland
Members
Reviews
No reviews found.
You May Also Like
Associated Authors
Statistics
- Works
- 4
- Members
- 8
- Popularity
- #1,038,910
- ISBNs
- 83
- Languages
- 3