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

IIHM › publications › LD03a

• membres
• publications
• contrats
• démonstrations
• sujets de stage et de thèse
• accès

[in english]

dernière mise à jour :
18 May. 2012

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

[pdf] [bibtex|json]