ACT-03:vasco-56

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, January 2003.

Contact

Yves Ledru

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)