Contract-based Testing

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Formal Methods at the Crossroads: from Panacea to Foundational Support
Place of Publication	Berlin, ...
Publisher	Springer Verlag
Pages	34-48
Volume	2757
Publication status	Published - 2003

Name	Lecture Notes in Computer Science
Publisher	Springer-Verlag

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area

Cite this

@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",

}