ISBN 3642391753 books & textbook
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Theoretical Computer Science and General Issues)
Bartocci, Ezio Ramakrishnan, C. R.
Springer /2013-07-19 Paperback / 387 Pages
isbn-10: 3642391753 / isbn-13: 9783642391750
