author : Dave Neilson

Short works

• zedB: A Proof Tool for Z Built on B. 1992. (In 6th Z User Workshop )