Klaus Havelund

No bio available. Add one in Open Library.

Books by Klaus Havelund (50 max)

+ shelf+ list

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

2011

Klaus Havelund, Gerard Holzmann, Rajeev Joshi

+ shelf+ list

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2014

Erika Abraham, Klaus Havelund

+ shelf+ list

SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

2006

Klaus Havelund, John Penix, Willem Visser

+ shelf+ list

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

2006

Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

+ shelf+ list

Model Checking Software Lecture Notes in Computer Science

2008

Klaus Havelund

+ shelf+ list

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

2008

Klaus Havelund, Rupak Majumdar, Jens Palsberg

+ shelf+ list

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

2011

Klaus Havelund

+ shelf+ list

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2018

Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink