author : Neil J. Robinson

Short works

• Checking Z Data Refinements Using an Animation Tool. 2002. (In ZB 2002 )