ISBN 3540698493 books & textbook

25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science, 5000)

Grumberg, Orna Veith, Helmut

Springer /2008-06-17 Paperback / 241 Pages
isbn-10: 3540698493 / isbn-13: 9783540698494