Ledru97

Y. Ledru. Specification and animation of a bank transfer using KIDS/VDM. Automated Software Engineering, 4:33-51, 1997.

Contact

Yves Ledru

BibTex Reference

@article{Ledru97,
   Author = {Ledru, Y.},
   Title = {Specification and animation of a bank transfer using KIDS/VDM},
   Journal = {Automated Software Engineering},
   Volume = {4},
   Pages = {33--51},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)