Contract-based Testing

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationFormal Methods at the Crossroads: from Panacea to Foundational Support
Place of PublicationBerlin, ...
PublisherSpringer Verlag
Pages34-48
Volume2757
Publication statusPublished - 2003

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag

Cite this

Aichernig, B. (2003). Contract-based Testing. In Formal Methods at the Crossroads: from Panacea to Foundational Support (Vol. 2757, pp. 34-48). (Lecture Notes in Computer Science). Berlin, ...: Springer Verlag.

Contract-based Testing. / Aichernig, Bernhard.

Formal Methods at the Crossroads: from Panacea to Foundational Support. Vol. 2757 Berlin, ... : Springer Verlag, 2003. p. 34-48 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Aichernig, B 2003, Contract-based Testing. in Formal Methods at the Crossroads: from Panacea to Foundational Support. vol. 2757, Lecture Notes in Computer Science, Springer Verlag, Berlin, ..., pp. 34-48.
Aichernig B. Contract-based Testing. In Formal Methods at the Crossroads: from Panacea to Foundational Support. Vol. 2757. Berlin, ...: Springer Verlag. 2003. p. 34-48. (Lecture Notes in Computer Science).
Aichernig, Bernhard. / Contract-based Testing. Formal Methods at the Crossroads: from Panacea to Foundational Support. Vol. 2757 Berlin, ... : Springer Verlag, 2003. pp. 34-48 (Lecture Notes in Computer Science).
@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",

}

TY - GEN

T1 - Contract-based Testing

AU - Aichernig, Bernhard

PY - 2003

Y1 - 2003

M3 - Conference contribution

VL - 2757

T3 - Lecture Notes in Computer Science

SP - 34

EP - 48

BT - Formal Methods at the Crossroads: from Panacea to Foundational Support

PB - Springer Verlag

CY - Berlin, ...

ER -