DBLP Record 'conf/room/Clark00'

BibTeX

@inproceedings{DBLP:conf/room/Clark00,
  author    = {Tony Clark},
  title     = {Object-Oriented Refinement and Proof using Behaviour Functions},
  booktitle = {Rigorous Object-Oriented Methods},
  year      = {2000},
  ee        = {http://ewic.bcs.org/conferences/2000/objectmethods/papers/paper2.htm},
  crossref  = {DBLP:conf/room/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@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}
}