DBLP Record 'conf/room/2000'

BibTeX

@proceedings{DBLP:conf/room/2000,
  title     = {Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17
               January 2000},
  booktitle = {ROOM},
  publisher = {BCS},
  series    = {Workshops in Computing},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}