home
>
book reviews
> Nuno Amalio
Google >
Nuno Amalio
author : Nuno Amalio
Short works
Comparison of formalisation approaches of UML class constructs in Z and object-Z. 2003.
(In
ZB 2003
)
An object-oriented structuring for Z based on Views. 2005.
(In
ZB 2005
)