van der Pol, Jaco books & textbook
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer Science, 6349)
van der Pol, Jaco Weber, Michael
Springer /2010-09-27 Paperback / 273 Pages
isbn-10: 3642161634 / isbn-13: 9783642161636
