Mr BAELDE David

Warning: this member left the laboratory on 26/12/2011

Post-doctorant CNRS Toccata Tel : Fax : Office : 70/PCRI-S Personal web page : Email : David.Baelde@lri.fr Joint Inria project teams    - Toccata Software & Patents    - ALEA: ALEA : A library for reasoning on random algorithms in Coq