Workshop on Games for Logic and Programming Languages (GALOP)

1st GALOP@ETAPS 2005: Edinburgh, UK

GALOP 2005 Home Page

a service of Schloss Dagstuhl - Leibniz Center for Informatics