Games for Logic and Programming Languages

GALOP 2005: Edinburgh, Scotland, UK (Part of ETAPS 2005)

- GALOP 2005 Home Page