FM 2006 - Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 2006, Proceedings
by Jayadev Misra, Tobias Nipkow, Emil Sekerinski Paperback 2006
- Author: Jayadev Misra, Tobias Nipkow, Emil Sekerinski
- ISBN 13: 9783540372158
- ISBN 10: 3540372156
- Publication Year: 2006
- Language: English
Specifications
Index-103540372156
LanguageEnglish
Index-139783540372158
Period-
Class Track-
Publisher- (2006)
Pages-