DBLP Record 'conf/RelMiCS/BakewellPR03'

BibTeX

@inproceedings{DBLP:conf/RelMiCS/BakewellPR03,
  author    = {Adam Bakewell and
               Detlef Plump and
               Colin Runciman},
  title     = {Checking the Shape Safety of Pointer Manipulations},
  booktitle = {RelMiCS},
  year      = {2003},
  pages     = {48-61},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3051{\&}spage=48},
  crossref  = {DBLP:conf/RelMiCS/2003conf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/RelMiCS/2003conf,
  editor    = {Rudolf Berghammer and
               Bernhard M{\"o}ller and
               Georg Struth},
  title     = {Relational and Kleene-Algebraic Methods in Computer Science:
               7th International Seminar on Relational Methods in Computer
               Science and 2nd International Workshop on Applications of
               Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised
               Selected Papers},
  booktitle = {RelMiCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3051},
  year      = {2004},
  isbn      = {3-540-22145-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}