More About the Author
Martín Abadi (born 1963) is an Argentinian computer scientist, currently working at Google. He earned his Ph.D.
Review and Comments
Rate the Book
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings 0 out of 5 stars based on 0 ratings.