Pol, Jaco van de books & textbook
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... (Lecture Notes in Computer Science, 4346)
Brim, Lubos Haverkort, Boudewijn Leucker, Martin Pol, Jaco van de
Springer /2007-02-20 Paperback / 376 Pages
isbn-10: 3540709517 / isbn-13: 9783540709510
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Lecture Notes in Computer Science, 3771)
Romijn, Judi M.T. Smith, Graeme P. van de Pol, Jaco C.
Springer /2005-11-24 Paperback / 418 Pages
isbn-10: 3540304924 / isbn-13: 9783540304920
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
