FM 2006 : Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 : proceedings
Author(s)
Bibliographic Information
FM 2006 : Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 : proceedings
（Lecture notes in computer science, 4085）
Springer, c2006
Available at / 9 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
