BalzerG10'

@inproceedings{DBLP:conf/plpv/BalzerG10,
  author    = {Stephanie Balzer and
               Thomas R. Gross},
  title     = {Modular reasoning about invariants over shared state with
               interposed data members},
  booktitle = {PLPV},
  year      = {2010},
  pages     = {49-56},
  ee        = {http://doi.acm.org/10.1145/1707790.1707794},
  crossref  = {DBLP:conf/plpv/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/plpv/2010,
  editor    = {Jean-Christophe Filli{\^a}tre and
               Cormac Flanagan},
  title     = {Proceedings of the 4th ACM Workshop Programming Languages
               meets Program Verification, PLPV 2010, Madrid, Spain, January
               19, 2010},
  booktitle = {PLPV},
  publisher = {ACM},
  year      = {2010},
  isbn      = {978-1-60558-890-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}