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 )