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.
@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}
}
Charger la référence EndNote (.ref)