This page shows all presentations of this author published in EasyChair Smart Slide.
Automated Theorem Proving for Prolog Verification
Fred Mesnard, Thierry Marianne and Etienne Payet