Wiki Agenda Contact Version française

Publications 2018

Back

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

Books and book chapters

Journals

Conferences

[4] Florian Faissole and Bas Spitters. Preuves constructives de programmes probabilistes. In Vingt-neuvièmes Journées Francophones des Langages Applicatifs, Banyuls-sur-mer, France, January 2018. [ bib | full text on HAL ]
[3] Florian Faissole. Définir le fini : deux formalisations d'espaces de dimension finie. In Vingt-neuvièmes Journées Francophones des Langages Applicatifs, Banyuls-sur-mer, France, January 2018. [ bib | full text on HAL | .pdf ]
[2] Raphaël Rieu-Helft. Un mécanisme d'extraction vers C pour Why3. In Vingt-neuvièmes Journées Francophones des Langages Applicatifs, Banyuls-sur-mer, France, January 2018. [ bib | full text on HAL | .pdf ]
[1] Jean-Christophe Filliâtre, Mário Pereira, and Simão Melo de Sousa. Vérification de programmes fortement impératifs avec Why3. In Vingt-neuvièmes Journées Francophones des Langages Applicatifs, Banyuls-sur-mer, France, January 2018. [ bib | full text on HAL | .pdf ]

PhD theses

Misc.

Reports


Back

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


This page was generated by bibtex2html.