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

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

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