CIC:ledru96a

Y. Ledru. Using KIDS as a Tool Support for VDM. In Proceedings of the 18th International Conference on Software Engineering, Pages 236-245, Berlin (Germany), 1996.

Contact

Yves Ledru

BibTex Reference

@InProceedings{CIC:ledru96a,
   Author = {Ledru, Y.},
   Title = {{Using KIDS as a Tool Support for VDM}},
   BookTitle = {Proceedings of the 18th International Conference on Software Engineering},
   Pages = {236--245},
   Publisher = {IEEE Computer Society Press},
   Address = {Berlin (Germany)},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)