The Commuting V-Diagram: on the Relation of Refinement and Testing

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

Original languageEnglish
Title of host publicationProceedings of CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt Gödel Colloquium
EditorsMatthias Baaz, Johann A. Makowsky
PublisherSpringer
Pages15-28
Volume2803
ISBN (Print)978-3-540-40801-7
DOIs
Publication statusPublished - 2003
EventInternational Workshop on Computer Science Logic - Wien, Austria
Duration: 25 Aug 200330 Aug 2003

Publication series

NameLecture notes in computer science
PublisherSpringer

Conference

ConferenceInternational Workshop on Computer Science Logic
CountryAustria
CityWien
Period25/08/0330/08/03

Cite this