M. BAELDE David

ATTENTION : ce membre a quitté le laboratoire le 26/12/2011

Post-doctorant CNRS Toccata Tel : Fax : Bureau : 70/PCRI-S Page personnelle : Courrier électronique : David.Baelde@lri.fr Projets    - Toccata Logiciels et brevets    - ALEA : ALEA : A library for reasoning on random algorithms in Coq