Original language | English |
---|---|
Publisher | Not Known |
Publication status | Published - 1 Jan 2005 |
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/Report › Book