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.