SoundarajanF04'

BibTeX

@inproceedings{DBLP:conf/birthday/SoundarajanF04,
  author    = {Neelam Soundarajan and
               Stephen Fridella},
  title     = {Incremental Reasoning for Object Oriented Systems},
  booktitle = {Essays in Memory of Ole-Johan Dahl},
  year      = {2004},
  pages     = {302-333},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2635{\&}spage=302},
  crossref  = {DBLP:conf/birthday/2004dahl},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/birthday/2004dahl,
  editor    = {Olaf Owe and
               Stein Krogdahl and
               Tom Lyche},
  title     = {From Object-Orientation to Formal Methods, Essays in Memory
               of Ole-Johan Dahl},
  booktitle = {Essays in Memory of Ole-Johan Dahl},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2635},
  year      = {2004},
  isbn      = {3-540-21366-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}