This page shows all presentations of this author published in EasyChair Smart Slide.
Producing Explanations for Rich Logics
Simon Busard and Charles Pecheur