FME 2001 : Formal Methods for Increasing Software Productivity
Subtitle: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540452515