Laboratory of Informatics of Grenoble Équipe Ingénierie de l'Interaction Humain-Machine

Équipe Ingénierie de l'Interaction
Humain-Machine

Expressing dynamic properties of static diagrams in Z

In Approches Formelles Pour le Développement des Logiciels - AFADL'2003. 2003.

Yves Ledru, Sophie Dupuy-Chessa