Dave Neilson

According to our database¹, Dave Neilson authored at least 3 papers between 1987 and 1991.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1991

zedB: A Proof Tool for Z Built on B.

[BibT_eX]

Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991

1990

Machine Support for Z: the zebB Tool.

[BibT_eX]

Proceedings of the Z User Workshop, 1990

1987

Hierarchical Refinement Of A Z Specification.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987