author : Edd Turner

Short works

• Visualising larger state spaces in ProB. 2005. (In ZB 2005 )