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

IIHM › publications › LD03a

• membres
• publications
• présentations
• contrats
• démonstrations
• offres d'emplois
• accès

[in english]

dernière mise à jour :
02 Jun. 2022

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]