Ian J. Hayes

Identifiers

Open LibraryOL10230735A

Books by Ian J. Hayes

Total count: 1

FM 2005 : Formal MethodsInternational Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

Springer London, Limited2005-01-01