2014

Conférence Internationale avec comité de lecture

• [DR14] C. Dubois, R. Rioboo. "Verified functional iterators using the FoCaLiZe environment", Software Engineering and Formal Methods, September 2014, pp.317--331, Series LNCS,

Rapport Scientifique

• [Ast14a] I. Astic. "Rapport sur l'équilibrage des jeux pervasifs transmédias dans les musées", Date de dépot: 2014/12/08, Nb pages 24, (Tech. Rep.: CEDRIC-14-3229)