Dan R. Ghica, Guy McCusker, editors, Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, 2-3 April 2005, The workshop was organized as part of the ETAPS Conference. 2005.
Conference: galop2005
No references recorded for this publication.
No citations of this publication recorded.