DenneyF08'

BibTeX

@inproceedings{DBLP:conf/gpce/DenneyF08,
  author    = {Ewen Denney and
               Bernd Fischer 0002},
  title     = {Generating customized verifiers for automatically generated
               code},
  booktitle = {GPCE},
  year      = {2008},
  pages     = {77-88},
  ee        = {http://doi.acm.org/10.1145/1449913.1449926},
  crossref  = {DBLP:conf/gpce/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/gpce/2008,
  editor    = {Yannis Smaragdakis and
               Jeremy G. Siek},
  title     = {Generative Programming and Component Engineering, 7th International
               Conference, GPCE 2008, Nashville, TN, USA, October 19-23,
               2008, Proceedings},
  booktitle = {GPCE},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-60558-267-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}