Releases by Klaus Havelund

In stock at iMusic Show unavailable items

Cover for Klaus Havelund · NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2015 edition] (2015)

NASA Formal Methods: 7th Interna... (2015)

Cover for Klaus Havelund · Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2008 edition] (2008)

Model Checking Software: 15th In... (2008)

Cover for Klaus Havelund · 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 - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Formal Approaches to Software Te... (2006)