Verified software: theories, tools, experiments
: first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions / VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005. Bertrand Meyer ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4171)
ISBN 978-3-540-69149-5
Lizenzpflichtig
Quelle: DNB
Thaller, Georg Erwin: Verifikation und Validation
: Software-Test für Studenten und Praktiker / Georg Erwin Thaller. - Braunschweig : Vieweg, 1994. - X, 319 S.; 21 cm - (Lehrbuch Informatik : Informatik, Wirtschaftsinformatik)
ISBN 978-3-528-05442-7 / 3-528-05442-5 kart. : DM 49.80
Literaturverz. S. 290 - 296
Quelle: DNB