LeavensABBCFHJMJSSS06'

BibTeX

@inproceedings{DBLP:conf/gpce/LeavensABBCFHJMJSSS06,
  author    = {Gary T. Leavens and
               Jean-Raymond Abrial and
               Don S. Batory and
               Michael J. Butler and
               Alessandro Coglio and
               Kathi Fisler and
               Eric C. R. Hehner and
               Cliff B. Jones and
               Dale Miller and
               Simon L. Peyton Jones and
               Murali Sitaraman and
               Douglas R. Smith and
               Aaron Stump},
  title     = {Roadmap for enhanced languages and methods to aid verification},
  booktitle = {GPCE},
  year      = {2006},
  pages     = {221-236},
  ee        = {http://doi.acm.org/10.1145/1173706.1173740},
  crossref  = {DBLP:conf/gpce/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/gpce/2006,
  editor    = {Stan Jarzabek and
               Douglas C. Schmidt and
               Todd L. Veldhuizen},
  title     = {Generative Programming and Component Engineering, 5th International
               Conference, GPCE 2006, Portland, Oregon, USA, October 22-26,
               2006, Proceedings},
  booktitle = {GPCE},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-237-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}