BibTeX record conf/popl/BuddDLS80

• > Home > conf/popl/BuddDLS80

@inproceedings{DBLP:conf/popl/BuddDLS80,
  author       = {Timothy A. Budd and
                  Richard A. DeMillo and
                  Richard J. Lipton and
                  Frederick G. Sayward},
  editor       = {Paul W. Abrahams and
                  Richard J. Lipton and
                  Stephen R. Bourne},
  title        = {Theoretical and Emperical Studies on Using Program Mutation to Test
                  the Functional Correctness of Programs},
  booktitle    = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
                  of Programming Languages, Las Vegas, Nevada, USA, January 1980},
  pages        = {220--233},
  publisher    = {{ACM} Press},
  year         = {1980},
  url          = {https://doi.org/10.1145/567446.567468},
  doi          = {10.1145/567446.567468},
  timestamp    = {Tue, 06 Nov 2018 11:07:43 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/BuddDLS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}