CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: The Commuting V-Diagram: On the Relation of Refinement and Testing
Period26 Aug 2003
Held atCSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium
Event typeConference