Wiki Agenda Contact Version française

Publications : Quentin Garchery

Back
[2] Quentin Garchery, Chantal Keller, Claude Marché, and Andrei Paskevich. Des transformations logiques passent leur certicat. In Zaynah Dargaye and Yann Régis-Gianas, editors, Trente-et-unièmes Journées Francophones des Langages Applicatifs, Gruissan, France, January 2020. [ bib | full text on HAL ]
[1] Valentin Blot, Amina Bousalem, Quentin Garchery, and Chantal Keller. SMTCoq: automatisation expressive et extensible dans Coq. In Nicolas Magaud and Zaynah Dargaye, editors, Trentièmes Journées Francophones des Langages Applicatifs, Les Rousses, France, January 2019. [ bib | full text on HAL ]

Back
This page was generated by bibtex2html.