STANDARDIZED DEVELOPMENT OF COMPUTER SOFTWARE Part 1 Methods
1977 年出版379 页ISBN:0138421951
Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio
2006 年出版255 页ISBN:9783540496991
Lecture Notes in Computer Science 2931 Formal Approaches to Software Testing Third International Wor
FATES 20032004 年出版267 页ISBN:3540208941