DBLP Record 'conf/tools/Weber92'

BibTeX

@inproceedings{DBLP:conf/tools/Weber92,
  author    = {Franz Weber},
  title     = {Getting Class Correctness and System Correctness Equivalent
               (How to get covariance right)},
  booktitle = {TOOLS (8)},
  year      = {1992},
  pages     = {199-213},
  crossref  = {DBLP:conf/tools/8-1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tools/8-1992,
  editor    = {Raimund K. Ege and
               Madhu S. Singh and
               Bertrand Meyer},
  title     = {TOOLS 1992: 8th International Conference on Technology of
               Object-Oriented Languages and Systems, Santa Barbara, CA,
               USA},
  booktitle = {TOOLS (8)},
  publisher = {Prentice Hall},
  year      = {1992},
  isbn      = {0-13-042441-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}