Formal approaches to software testing and runtime verification : first Combined International Workshop FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, revised selected papers /

Autor Havelund, Klaus, 1955-
Vydáno 2006

SPIN Model Checking and Software Verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings /

Vydáno 2000

Model Checking Software : 15th International SPIN Workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings /

Vydáno 2008