BibTeX record conf/cpp/BeckerBGDM21

download as .bib file

@inproceedings{DBLP:conf/cpp/BeckerBGDM21,
  author    = {Heiko Becker and
               Nathaniel Bos and
               Ivan Gavran and
               Eva Darulova and
               Rupak Majumdar},
  editor    = {Catalin Hritcu and
               Andrei Popescu},
  title     = {Lassie: {HOL4} tactics by example},
  booktitle = {{CPP} '21: 10th {ACM} {SIGPLAN} International Conference on Certified
               Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021},
  pages     = {212--223},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3437992.3439925},
  doi       = {10.1145/3437992.3439925},
  timestamp = {Fri, 12 Feb 2021 14:28:33 +0100},
  biburl    = {https://dblp.org/rec/conf/cpp/BeckerBGDM21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics