author : S. Dupuy

Short works

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