BibTeX record journals/corr/abs-2109-03721

download as .bib file

@inproceedings{DBLP:journals/corr/abs-2109-03721,
  author    = {Moa Johansson and
               Nicholas Smallbone},
  editor    = {Alexei Lisitsa and
               Andrei P. Nemytykh},
  title     = {Conjectures, Tests and Proofs: An Overview of Theory Exploration},
  booktitle = {Proceedings of the 9th International Workshop on Verification and
               Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th
               and 28th of March 2021},
  series    = {{EPTCS}},
  volume    = {341},
  pages     = {1--16},
  year      = {2021},
  url       = {https://doi.org/10.4204/EPTCS.341.1},
  doi       = {10.4204/EPTCS.341.1},
  timestamp = {Mon, 29 Nov 2021 16:32:05 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2109-03721.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics