Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN：3540372156
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
Lecture Notes in Computer Science 3967 Computer Science-Theory and Applications First International
CSR 20062006 年出版685 页ISBN：3540341668
Lecture Notes in Computer Science 4649 Computer Science-Theory and Applications Second International
CSR 20072007 年出版420 页ISBN：9783540745099
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN：3540261818
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
