Formal approaches to software testing and runtime verification
: revised selected papers / First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15 - 16, 2006. Klaus Havelund ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4262)
ISBN 978-3-540-49703-5
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 15th International SPIN Workshop, Los Angeles, CA, USA, August 10 - 12, 2008. Klaus Havelund ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5156)
ISBN 978-3-540-85114-1
Lizenzpflichtig
Quelle: DNB
SPIN model checking and software verification ; proceedings
/ 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Klaus Havelund ... (ed.). - Berlin : Springer, 2000. - X, 342 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1885)
ISBN 978-3-540-41030-0 / 3-540-41030-9 kart. : DM 90.00
Literaturangaben
Quelle: DNB
