author : Judy Bowen

Short works

• Including design guidelines in the formal specification of interfaces in Z. 2005. (In ZB 2005 )