Contract-based Testing

Research output: Chapter in Book/Report/Conference proceedingConference paper

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