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

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

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