Raamatud Klaus Havelund

Java Pathfinder User Guide

Klaus Havelund, Nasa Technical Reports Server (Ntrs)

Meie tarnija laos

Lisa ostukorvi

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann

Meie tarnija laos

Lisa ostukorvi

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

Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Meie tarnija laos

Lisa ostukorvi