BibTeX record conf/gpce/LeavensABBCFHJMJSSS06

• > Home > conf/gpce/LeavensABBCFHJMJSSS06

@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},
  editor       = {Stan Jarzabek and
                  Douglas C. Schmidt and
                  Todd L. Veldhuizen},
  title        = {Roadmap for enhanced languages and methods to aid verification},
  booktitle    = {Generative Programming and Component Engineering, 5th International
                  Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
                  Proceedings},
  pages        = {221--236},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1173706.1173740},
  doi          = {10.1145/1173706.1173740},
  timestamp    = {Tue, 21 Mar 2023 21:01:36 +0100},
  biburl       = {https://dblp.org/rec/conf/gpce/LeavensABBCFHJMJSSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}