ISBN 3319941100 books & textbook
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings (Theoretical Computer Science and General Issues)
Gallardo, María del Mar Merino, Pedro
Springer /2018-06-17 Paperback / 363 Pages
isbn-10: 3319941100 / isbn-13: 9783319941103
