Peter A. Lindsay

Identifiers

Open LibraryOL10236870A

Books by Peter A. Lindsay

Total count: 1

FME 2002 : Formal Methods - Getting IT RightInternational Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Springer London, Limited2003-01-01