Laboratoire d'Informatique de Grenoble Équipe Ingénierie de l'Interaction Homme-Machine

Équipe Ingénierie de l'Interaction
Homme-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