next up previous
Next: Chercheurs impliqués Up: Sous-projet: Spécifications formelles Previous: Sous-projet: Spécifications formelles

Responsable: Jean-Claude Royer