Wiki Agenda Contact Version française

Publications 2020

Back

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

Books and book chapters

Journals

Conferences

[3] Jean-Christophe Filliâtre. Mesurer la hauteur d'un arbre. 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 ]
[2] Martin Clochard, Claude Marché, and Andrei Paskevich. Deductive verification with ghost monitors. In Principles of Programming Languages, New Orleans, United States, 2020. [ bib | DOI | full text on HAL ]
[1] 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 ]

PhD theses

Misc.

Reports


Back

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


This page was generated by bibtex2html.