Lecture Notes in Computer Science 2931 Formal Approaches to Software Testing Third International Wor
FATES 20032004 年出版267 页ISBN：3540208941
Lecture Notes in Computer Science 2959 COTS-Based Software Systems Third International Conference
ICCBSS 20042004 年出版219 页ISBN：354021903X
Lecture Notes in Computer Science 2935 Agent-Oriented Software Engineering IV 4th International Work
AOSE 20032004 年出版245 页ISBN：3540208267
Lecture Notes in Computer Science 3382 Agent-Oriented Software Engineering V 5th International Works
AOSE 20042005 年出版237 页ISBN：3540242864
Lecture Notes in Computer Science 3950 Agent-Oriented Software Engineering VI 6th International Work
AOSE 20052006 年出版247 页ISBN：3540340971
Lecture Notes in Computer Science 4405 Agent-Oriented Software Engineering VII 7th International Wor
AOSE 20062007 年出版224 页ISBN：9783540709442
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7
2004 年出版278 页ISBN：354022145X
Lecture Notes in Computer Science 3914 Software Engineering for Multi-Agent Systems IV Research Issu
2006 年出版253 页ISBN：3540335803
