| |
| 1991 | ||
|---|---|---|
| 3 | Dave Neilson, Divya Prasad: zedB: A Proof Tool for Z Built on B. Z User Workshop 1991: 243-258 | |
| 1990 | ||
| 2 | Dave Neilson: Machine Support for Z: the zebB Tool. Z User Workshop 1990: 105-128 | |
| 1987 | ||
| 1 | Dave Neilson: Hierarchical Refinement Of A Z Specification. FSTTCS 1987: 376-399 | |
| 1 | Divya Prasad | [3] |