Sous-projet: Spécifications formelles

• Responsable: Jean-Claude Royer
• Chercheurs impliqués
• Thème et objectif scientifiques
• Etat d'avancement
• Relations nationales et internationales