Logo des Repositoriums
 
Textdokument

Brückenschlag zwischen Verifikation und systematischem Testen

Vorschaubild

Volltext URI

Dokumententyp

Dateien

61.pdf (167.84 KB)

Zusatzinformation

Datum

2015

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Ausgezeichnete Informatikdissertationen 2015

Verlag

Gesellschaft für Informatik

Zusammenfassung

Beschreibung

Christakis, Maria (2015): Brückenschlag zwischen Verifikation und systematischem Testen. Ausgezeichnete Informatikdissertationen 2015. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-3-88579-975-7. pp. 61-70

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

D16 (2015) - Ausgezeichnete Informatikdissertationen