Dave Neilson

Publication Activity (10 Years)

Years Active: 1987-1991
Publications (10 Years): 0

Publications

Dave Neilson, Divya Prasad
zedB: A Proof Tool for Z Built on B. Z User Workshop (1991)
Dave Neilson
Machine Support for Z: the zebB Tool. Z User Workshop (1990)
Dave Neilson
Hierarchical Refinement Of A Z Specification. FSTTCS (1987)