FoCaLize : FoCaLize

Équipe : SPI

Atelier de développement intégré pour les logiciels critiques

Software Leader : Thérèse HARDIN
http://focalize.inria.fr