ISBN 3540851135 books & textbook
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science, 5156)
Havelund, Klaus Majumdar, Rupak Palsberg, Jens
Springer /2008-07-25 Paperback / 353 Pages
isbn-10: 3540851135 / isbn-13: 9783540851134
