home
>
book reviews
> Dave Neilson
Google >
Dave Neilson
author : Dave Neilson
Short works
zedB: A Proof Tool for Z Built on B. 1992.
(In
6th Z User Workshop
)