DBLP Record 'conf/room/FischerHLP00'

BibTeX

@inproceedings{DBLP:conf/room/FischerHLP00,
  author    = {Joachim Fischer and
               Eckhardt Holz and
               Martin von L{\"o}wis and
               Andreas Prinz},
  title     = {SDL-2000: A Language with a Formal Semantics},
  booktitle = {Rigorous Object-Oriented Methods},
  year      = {2000},
  ee        = {http://ewic.bcs.org/conferences/2000/objectmethods/papers/paper3.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}
}