IRILL - Research and Innovation on Free Software

fiabilite

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