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 / eds. K. Havelund [et al.], 2006 r=on-line. - Текст : электронный.
Model checking software : 15th International SPIN workshop, Los Angeles, Ca, USA, August 10-12, 2008 :proceedings / ed. K. Havelund, 2008 r=on-line. - Текст : электронный.
SPIN model checking and software verification : 7th Intern. SPIN workshop, Stanford(Ca), Aug.30 - Sept.1, 2000Proc. / Ed. K. Havelund, 2000. - X,342 p. p. - Текст : непосредственный.