Larsen93'

BibTeX

@inproceedings{DBLP:conf/sosl/Larsen93,
  author    = {Peter Gorm Larsen},
  title     = {Towards Proof Rules for Looseness in Explicit Definitions
               from VDM-SL},
  booktitle = {Semantics of Specification Languages},
  year      = {1993},
  pages     = {118-134},
  crossref  = {DBLP:conf/sosl/1993},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sosl/1993,
  editor    = {D. J. Andrews and
               Jan Friso Groote and
               C. A. Middelburg},
  title     = {Semantics of Specification Languages (SoSL), Proceedings
               of the International Workshop on Semantics of Specification
               Languages, Utrecht, The Netherlands, 25-27 October 1993},
  booktitle = {Semantics of Specification Languages},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1994},
  isbn      = {3-540-19854-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}