Klaus Havelund
Showing all 4 results
-
Engineering
[PDF] Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Ro?u, Oleg Sokolsky, Nikolai Tillmann (eds.)
$19.99 Order now -
Engineering
{PDF} 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 Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel N??ez, Grigore Ro?u, Burkhart Wolff (eds.)
$19.99 Order now
