home
>
book reviews
> S. Dupuy
Google >
S. Dupuy
author : S. Dupuy
Short works
Translating the OMT Dynamic Model into Object-Z. 1998.
(In
ZUM '98
)