IRILL - Research and Innovation on Free Software

fiabilite

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