Proceedings of Games for Logic and Programming Languages, University of Edinburgh, 2-3 April 2005. The Workshop was organized as part of the ETAPS Conference

Dan Ghica, G McCusker

Research output: Book/ReportBook

Original languageEnglish
PublisherNot Known
Publication statusPublished - 1 Jan 2005

Cite this