Contract-based Testing

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Formal Methods at the Crossroads: from Panacea to Foundational Support
Erscheinungsort	Berlin, ...
Herausgeber (Verlag)	Springer Verlag
Seiten	34-48
Band	2757
Publikationsstatus	Veröffentlicht - 2003

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer-Verlag

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

Dieses zitieren

@inproceedings{47c274f8410b491d8cf1239ffe838a13,

title = "Contract-based Testing",

author = "Bernhard Aichernig",

year = "2003",

language = "English",

volume = "2757",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "34--48",

booktitle = "Formal Methods at the Crossroads: from Panacea to Foundational Support",

address = "Germany",

}