CV Accueil - Archive ouverte HAL

Publications

	The Spirit of Ghost Code Jean-Christophe Filliâtre , Léon Gondelman , Andrei Paskevich Formal Methods in System Design, 2016, 48 (3), pp.152-174. ⟨10.1007/s10703-016-0243-x⟩ Article dans une revue hal-01396864v1
	Let's Verify This with Why3 François Bobot , Jean-Christophe Filliâtre , Claude Marché , Andrei Paskevich International Journal on Software Tools for Technology Transfer, 2015, 17 (6), pp.709-727. ⟨10.1007/s10009-014-0314-5⟩ Article dans une revue hal-00967132v1