Proof Automation and Certification Tools for ubiquitous larges-scale Envirenements
Contact : Sebastien.tixeuil (at) nulllip6.frDu 01/10/2009 au 31/12/2012
PACTOLE is a proposal for the DIM "logiciels et systèmes complexes" of région Ile de France.
IMDEA, Université Nancy 1, CNAM, LRI, ENSIIEANR
Sebastien TIXEUIL