This page shows all presentations of this author published in EasyChair Smart Slide.
Lightweight Interactive Proving inside an Automatic Program Verifier
Sylvain Dailler, Claude Marché and Yannick Moy