U3CAT ANR Dec 2008 - Dec 2011 Group : Toccata Principal investigator : MARCHÉ Claude Administrator :  Affiliation : INRIA
U3CAT Research activities   Automated Proof, SMT and Applications   Formalisation and Proof of Numerical Programs   Deductive Verification of Programs Participants FILLIÂTRE Jean-Christophe MELQUIOND Guillaume

° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF