Fundamental approaches to software engineering
: 10th international conference ; proceedings / FASE 2007 ... Matthew B. Dwyer ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4422)
ISBN 978-3-540-71289-3
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 8th International SPIN Workshop, Toronto, Canada, May 19 - 20, 2001. M. B. Dwyer (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2057)
ISBN 978-3-540-45139-6
Lizenzpflichtig
Quelle: DNB