home
>
book reviews
> G. Hossein Bagherzadeh Rafsanjani
Google >
G. Hossein Bagherzadeh Rafsanjani
author : G. Hossein Bagherzadeh Rafsanjani
Short works
ZEST. 1992.
(In
Object Orientation in Z
)
From Object-Z to C++: A Structural Mapping. 1993.
(In
7th Z User Workshop
)