% Encoding: UTF-8

@InProceedings{MetaFStar+ESOP2019,
  author       = {Martínez, Guido and Ahman, Danel and Dumitrescu, Victor and
                  Giannarakis, Nick and Hawblitzel, Chris and Hriţcu, Cătălin
                  and Narasimhamurthy, Monal and Paraskevopoulou, Zoe and
                  Pit-Claudel, Clément and Protzenko, Jonathan and Ramananandro,
                  Tahina and Rastogi, Aseem and Swamy, Nikhil},
  title        = {{Meta-F*}: Proof Automation with {SMT}, Tactics, and
                  Metaprograms},
  booktitle    = {Programming Languages and Systems - 28th European Symposium on
                  Programming, {ESOP} 2019, Held as Part of the European Joint
                  Conferences on Theory and Practice of Software, {ETAPS} 2019,
                  Prague, Czech Republic, April 6-11, 2019, Proceedings},
  year         = 2019,
  editor       = {Caires, Luís},
  pages        = {30-59},
  publisher    = {Springer International Publishing},
  doi          = {10.1007/978-3-030-17184-1_2},
  url          = {https://pit-claudel.fr/clement/papers/meta-fstar-ESOP19.pdf},
  isbn         = {978-3-030-17184-1}
}