Author

Klaus Havelund

8 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

8 books
Formal Approaches to Software Tes...

Formal Approaches to Software Testing and Runtime Verification

Year unknown Klaus Havelund, Manuel Núnez, Grigore Rosu, and Burkhart Wolff
Formal Methods

Formal Methods

Year unknown Klaus Havelund, Jan Peleska, Bill Roscoe, and Erik de Vink
Model Checking Software

Model Checking Software

Year unknown Klaus Havelund, Rupak Majumdar, and Jens Palsberg
Model Checking Software Lecture Notes in Computer Science

Model Checking Software Lecture Notes in Computer Science

Year unknown
NASA Formal Methods

NASA Formal Methods

Year unknown Klaus Havelund, Gerard Holzmann, and Rajeev Joshi
Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings

Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings

Year unknown
SPIN Model Checking and Software ...

SPIN Model Checking and Software Verification

Year unknown Klaus Havelund, John Penix, and Willem Visser
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Year unknown Erika Abraham and Klaus Havelund

Fetched from OpenLibrary. Some translations may appear as separate works.