IRILL - Research and Innovation on Free Software
fiabilite
Ahmed-Bouajjani-LIAFA
Benjamin Monate-Frama-C
Eric Goubault-Fluctuat
Evguenia Dmitrieva-RATP
Fabrice Kordon-CosyVerif
Gilles Muller-Coccinelle
Jean-Christophe Filliatre-Why
Laurent Fribourg-Imitator
Louis Granboulan-EADS
Mihaela Sighireanu-Celia
Roberto Di Cosmo-intro
Tayssir Touili-Malware detection
Xavier Leroy-compcert
Yannick Moy-Adacore