IRILL - Research and Innovation on Free Software

fiabilite

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