FME 2002 : Formal Methods - Getting IT Right
Subtitle: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540456148