Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference
IFM 20052005 年出版407 页ISBN：3540304924
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference
IFM 20072007 年出版660 页ISBN：9783540732099
Lecture Notes in Computer Science 4528 Nature Inspired Problem-Solving Methods in Knowledge Engineer
IWINAC 20072007 年出版650 页ISBN：9783540730545
Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
Lecture Notes in Computer Science 3629 Algebra and Coalgebra in Computer Science First International
CALCO 20052005 年出版457 页ISBN：3540286209
Lecture Notes in Computer Science 4624 Algebra and Coalgebra in Computer Science Second Internationa
CALCO 20072007 年出版463 页ISBN：9783540738572
Lecture Notes in Computer Science 4846 Advances in Computer Science-ASIAN 2007 Computer and Network
2007 年出版313 页ISBN：9783540769279
LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE
1990 年出版169 页ISBN：3540527346;0387527346
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 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
