DBLP Record 'conf/compos/FinkbeinerMS97'

BibTeX

@inproceedings{DBLP:conf/compos/FinkbeinerMS97,
  author    = {Bernd Finkbeiner and
               Zohar Manna and
               Henny Sipma},
  title     = {Deductive Verification of Modular Systems},
  booktitle = {COMPOS},
  year      = {1997},
  pages     = {239-275},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1536/15360239.htm},
  crossref  = {DBLP:conf/compos/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/compos/1997,
  editor    = {Willem P. de Roever and
               Hans Langmaack and
               Amir Pnueli},
  title     = {Compositionality: The Significant Difference, International
               Symposium, COMPOS'97, Bad Malente, Germany, September 8-12,
               1997. Revised Lectures},
  booktitle = {COMPOS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1536},
  year      = {1998},
  isbn      = {3-540-65493-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}