author : Y. Ledru

Short works

• Translating the OMT Dynamic Model into Object-Z. 1998. (In ZUM '98 )