Formal approaches to software testing: Third International Workshop on Formal Approaches to Testing of Software, Montreal, Quebec, Canada, October 6th, 2003 ; revised papers

Medientyp: Buch; Konferenzbericht
Titel: Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, Montreal, Quebec, Canada, October 6th, 2003 ; revised papers
Beteiligte: Petrenko, Alexandre [Herausgeber:in]
Veranstaltung: International Workshop on Formal Approaches to Testing of Software
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2004
Erschienen in: Lecture notes in computer science ; 2931
Umfang: VIII, 266 S.; graph. Darst
Sprache: Englisch
ISBN: 3540208941
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Softwaretest > Formale Methode
Hardwareentwurf > Softwareentwicklung > Korrektheit
Software > Testen > Formale Methode
Hardwareentwurf > Softwareentwicklung > Korrektheit
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Formal approaches to software testing