Wiki Agenda Contact Version française

Publications 2019

Back

Books / Journals / Conferences / PhD theses / Misc. / Reports

Books and book chapters

Journals

Conferences

[2] Raphaël Rieu-Helft. Un mécanisme de preuve par réflexion pour Why3 et son application aux algorithmes de GMP. In 30èmes Journées Francophones des Langages Applicatifs, January 2019. [ bib | full text on HAL ]
[1] Diane Gallois-Wong. Formalisation en Coq d'algorithmes de filtres numériques. In 30èmes Journées Francophones des Langages Applicatifs, January 2019. [ bib | full text on HAL ]

PhD theses

Misc.

Reports


Back

Books / Journals / Conferences / PhD theses / Misc. / Reports


This page was generated by bibtex2html.