author : Robert M. Hierons

Short works

• Automatically generating information from a Z specification to support the classification tree method. 2003. (In ZB 2003 )