DBLP Record 'conf/galop/2005'

BibTeX

@proceedings{DBLP:conf/galop/2005,
  editor    = {Dan R. Ghica and
               Guy McCusker},
  title     = {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},
  booktitle = {GALOP},
  year      = {2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}