Pol, Jaco van de.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Model checking software = 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings /
by:
Pol, Jaco van de.; Weber, Michael.; SpringerLink (Online service)
(Language materials, printed)
Integrated Formal Methods : = 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
by:
Pol, Jaco van de.; Romijn, Judi M.T.; Smith, Graeme P.; SpringerLink (Online service); International Conference on Integrated Formal Methods (2005 :)
(Language materials, printed)
Subjects
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
SPIN (Computer file)
Formal methods (Computer science)
Computer Science
Programming Languages, Compilers, Interpreters.
Programming Languages, Compilers, Interpreters
Programming Techniques
Computer software- Verification
Computer Science.
Logics and Meanings of Programs
Software Engineering