Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms (bibtex)
by Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
Reference:
Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms (Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy), arXiv:1803.06547, 2018.
Bibtex Entry:
@misc{metafstar,
  author = {Guido Mart\'inez and
            Danel Ahman and
            Victor Dumitrescu and
            Nick Giannarakis and
            Chris Hawblitzel and
            Catalin Hritcu and
            Monal Narasimhamurthy and
            Zoe Paraskevopoulou and
            Cl\'ement Pit-Claudel and
            Jonathan Protzenko and
            Tahina Ramananandro and
            Aseem Rastogi and
            Nikhil Swamy},
  title = {{Meta-F*}:  Proof Automation with {SMT}, Tactics, and Metaprograms},
  howpublished = {arXiv:1803.06547},
  url = {https://arxiv.org/abs/1803.06547},
  month = mar,
  year = 2018,
}
Powered by bibtexbrowser