BibTeX record conf/gecco/HelmuthSP20

download as .bib file

@inproceedings{DBLP:conf/gecco/HelmuthSP20,
  author       = {Thomas Helmuth and
                  Lee Spector and
                  Edward R. Pantridge},
  editor       = {Carlos Artemio Coello Coello},
  title        = {Counterexample-driven genetic programming without formal specifications},
  booktitle    = {{GECCO} '20: Genetic and Evolutionary Computation Conference, Companion
                  Volume, Canc{\'{u}}n, Mexico, July 8-12, 2020},
  pages        = {239--240},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3377929.3389983},
  doi          = {10.1145/3377929.3389983},
  timestamp    = {Mon, 20 Jul 2020 07:42:25 +0200},
  biburl       = {https://dblp.org/rec/conf/gecco/HelmuthSP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics