Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con
ICFEM 20072007 年出版386 页ISBN：9783540766483
Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN：3540474609
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3908 Innovative Internet Community Systems 5th International Works
IICS 20052006 年出版206 页ISBN：3540339736
Lecture Notes in Computer Science 3014 Software Product-Family Engineering 5th International Worksho
PFE 20032004 年出版486 页ISBN：3540219412
Lecture Notes in Computer Science 2984 Fundamental Approaches to Software Engineering 7th Internatio
FASE 20042004 年出版389 页ISBN：3540213058
Lecture Notes in Computer Science 3922 Fundamental Approaches to Software Engineering 9th Internatio
FASE 20062006 年出版425 页ISBN：3540330933
Lecture Notes in Computer Science 3442 Fundamental Approaches to Software Engineering 8th Internatio
FASE 20052005 年出版371 页ISBN：354025420X
Lecture Notes in Computer Science 4422 Fundamental Approaches to Software Engineering 10th Internati
FASE 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software2007 年出版440 页ISBN：
Lecture Notes in Computer Science 3236 Applying Formal Methods:Testing
Performance2222 年出版0 页ISBN：
