This page shows all presentations of this author published in EasyChair Smart Slide.
Teaching deductive verification through Frama-C and SPARK
Claire Dross, Léo Creuse, Christophe Garion, Jérôme Hugues and Joffrey Huguet