CIC:Dup98

S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Translating the OMT dynamic model into Object-Z. In 11th Int. Conf. of Z Users-ZUM'98, Lecture Notes in Computer Science, Volume 1493, Berlin, Germany, 1998.

Contact

Yves Ledru

BibTex Reference

@InProceedings{CIC:Dup98,
   Author = {Dupuy, S. and Ledru, Y. and Chabre-Peccoud, M.},
   Title = {Translating the {OMT} dynamic model into {Object-Z}},
   BookTitle = {11th Int. Conf. of Z Users-ZUM'98},
   Volume = {1493},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-Verlag},
   Address = {Berlin, Germany},
   Year = {1998}
}

EndNote Reference [help]

Get EndNote Reference (.ref)