@inproceedings{10.1007/978-3-030-17184-1_2,
    Address = {Cham},
    Author = {Mart{\'i}nez, Guido and Ahman, Danel and Dumitrescu, Victor and Giannarakis, Nick and Hawblitzel, Chris and Hri{\c t}cu, C{\u{a}}t{\u{a}}lin and Narasimhamurthy, Monal and Paraskevopoulou, Zoe and Pit-Claudel, Cl{\'e}ment and Protzenko, Jonathan and Ramananandro, Tahina and Rastogi, Aseem and Swamy, Nikhil},
    BookTitle = {Programming Languages and Systems},
    Editor = {Caires, Lu{\'\i}s},
    File = {Meta-F* - Proof Automation with SMT, Tactics, and Metaprograms - Martínez2019\_Chapter\_Meta-FStarProofAutomationWithS - a - a - o.pdf},
    ISBN = {978-3-030-17184-1},
    Pages = {30--59},
    Publisher = {Springer International Publishing},
    Title = {Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms},
    Year = {2019},
    date-added = {2019-10-14 14:05:08 +0200},
    date-modified = {2019-10-14 14:05:08 +0200},
    doi = {10.1007/978-3-030-17184-1_2}
}

@inproceedings{10.1007/978-3-030-17184-1_2, Address = {Cham}, Author = {Mart{\'i}nez, Guido and Ahman, Danel and Dumitrescu, Victor and Giannarakis, Nick and Hawblitzel, Chris and Hri{\c t}cu, C{\u{a}}t{\u{a}}lin and Narasimhamurthy, Monal and Paraskevopoulou, Zoe and Pit-Claudel, Cl{\'e}ment and Protzenko, Jonathan and Ramananandro, Tahina and Rastogi, Aseem and Swamy, Nikhil}, BookTitle = {Programming Languages and Systems}, Editor = {Caires, Lu{\'\i}s}, File = {Meta-F - Proof Automation with SMT, Tactics, and Metaprograms - Martínez2019_Chapter_Meta-FStarProofAutomationWithS - a - a - o.pdf}, ISBN = {978-3-030-17184-1}, Pages = {30--59}, Publisher = {Springer International Publishing}, Title = {Meta-F: Proof Automation with SMT, Tactics, and Metaprograms}, Year = {2019}, date-added = {2019-10-14 14:05:08 +0200}, date-modified = {2019-10-14 14:05:08 +0200}, doi = {10.1007/978-3-030-17184-1_2} }