Laboratory of Informatics of Grenoble Engineering Human-Computer Interaction Research Group

Engineering Human-Computer Interaction
Research Group

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