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

EHCI › publications › LD03a

• members
• publications
• talks
• contracts
• demos
• jobs
• access

[en français]

last update:
21 Apr. 2026

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]