Klaus Havelund

Identifiers

Open LibraryOL7298390A

Top Subjects

Computer software (1)

Books by Klaus Havelund

Total count: 6

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

Springer London, Limited2006-01-01
SPIN Model Checking and Software Verification7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Springer London, Limited2006-01-01
Model Checking Software15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Springer London, Limited2008-01-01
NASA Formal MethodsThird International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Springer2011-01-01
Tools and Algorithms for the Construction and Analysis of Systems20th 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

Springer London, Limited2014-01-01
Formal Methods22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Springer2018-07-12