FM 2006 : Formal Methods
Subtitle: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540372165
Subjects: Application software, development