Reading Length
Home
Speed Tests
Login
Ian J. Hayes
Identifiers
Open Library
OL10230735A
Books by Ian J. Hayes
Total count: 1
FM 2005 : Formal Methods
International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
Springer London, Limited
2005-01-01