Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN：3540213775
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 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works
FATES 20042005 年出版225 页ISBN：354025109X
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
Lecture Notes in Computer Science 3986 Trust Management 4th International Conference
iTrust 20062006 年出版474 页ISBN：3540342958
Lecture Notes in Computer Science 3968 Pervasive Computing 4th International Conference
PERVASIVE 20062006 年出版402 页ISBN：3540338942
Lecture Notes in Computer Science 3699 Unconventional Computation 4th International Conference
UC 20052005 年出版267 页ISBN：3540291008
Lecture Notes in Computer Science 3140 Web Engineering 4th International Conference
ICWE 20042004 年出版623 页ISBN：3540225110
