Conference
FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Editors
Misra J; Nipkow T; Sekerinski E
Series
Lecture Notes in Computer Science
Volume
4085
Publisher
Springer
Publication Date
January 1, 2006
ISBN-10
3-540-37215-6
Conference proceedings
FM