Dave Neilson

	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

Coauthor Index

1

Divya Prasad

[3]