ISBN 3540496998 books & textbook
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... (Lecture Notes in Computer Science, 4262)
Havelund, Klaus Núnez, Manuel Rosu, Grigore Wolff, Burkhart
Springer /2006-12-07 Paperback / 263 Pages
isbn-10: 3540496998 / isbn-13: 9783540496991
