author : Luke Wildman

Short works

• Towards Libraries for Z. 1993. (In 7th Z User Workshop )
• Model checking Z specifications using SAL. 2005. (In ZB 2005 )