FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science (2391), Band 2391)

Proceedings

von: Lars-Henrik Eriksson · Peter A. Lindsay

Taschenbuch

ISBN-13: 978-3-540-43928-8

ISBN-10: 3-540-43928-5

Springer · 2009