Article detail

Authors: Martínez, Guido; Ahman, Danel; Dumitrescu, Victor; Giannarakis, Nick; Hawblitzel, Chris; Hritcu, Catalin; Narasimhamurthy, Monal; Paraskevopoulou, Zoe; Pit-Claudel, Clément; Protzenko, Jonathan; Ramananandro, Tahina; Rastogi, Aseem; Swamy, Nikhil.

Title: Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms.

articulo_publicacion: LECTURE NOTES IN COMPUTER SCIENCE.

Editorial: Springer Verlag.

Editing place: Praga.

Publishing country: República Checa.

Reference type: Con Referato.

It's published?: No

ISSN: 0302-9743.

Volumen: 1142.

Pages:30-59

Web page: Link