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

Team : SPI

Critical software IDE

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