Formal Methods : Applications and Technology : 11th International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
Author(s)
Bibliographic Information
Formal Methods : Applications and Technology : 11th International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
（Lecture notes in computer science, 4346）
Springer, c2007
Available at / 5 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index