FoCaLize : FoCaLize
http://focalize.inria.fr

Équipe : SPI

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

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