Next:
Thème et objectif
Up:
Sous-projet: Spécifications formelles
Previous:
Responsable: Jean-Claude Royer
Chercheurs impliqués
Jean-Claude Royer, Pascal André, Pascal Poizat - IRIN.