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
Meta-F* : Proof Automation with SMT, Tactics, and Metaprograms
ESOP, 2019.
@inproceedings{ESOP-2019-MartinezADGHHNP,
author = "Guido Martínez and Danel Ahman and Victor Dumitrescu and Nick Giannarakis and Chris Hawblitzel and Catalin Hritcu and Monal Narasimhamurthy and Zoe Paraskevopoulou and Clément Pit-Claudel and Jonathan Protzenko and Tahina Ramananandro and Aseem Rastogi and Nikhil Swamy",
booktitle = "{Proceedings of the 28th European Symposium on Programming}",
doi = "10.1007/978-3-030-17184-1_2",
isbn = "['978-3-030-17183-4', '978-3-030-17184-1']",
pages = "30--59",
publisher = "{Springer}",
title = "{Meta-F* : Proof Automation with SMT, Tactics, and Metaprograms}",
year = 2019,
}
Tags:
