Y. Ledru, S. Dupuy. Expressing dynamic properties of static diagrams in Z. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, J.-M. Jézéquel (ed.), Pages 19-34, IRISA, Rennes, Janvier 2003.
@InProceedings{ACT-03:vasco-56,
Author = {Ledru, Y. and Dupuy, S.},
Title = {{Expressing dynamic properties of static diagrams in Z}},
BookTitle = {{Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003}},
editor = {Jézéquel, J.-M.},
Pages = {19--34},
Address = {IRISA, Rennes},
Month = {January},
Year = {2003}
}
Charger la référence EndNote (.ref)