author : M. Chabre-Peccoud

Short works

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