1992 |
6 | | Jonathan P. Bowen,
J. E. Nicholls:
Z User Workshop, London, UK, 14-15 December 1992, Proceedings
Springer 1992 |
5 | | J. E. Nicholls:
Z User Workshop, York, UK, 16-17 December 1991, Proceedings
Springer 1992 |
4 | | J. E. Nicholls:
Plain Guide to the Z Base Standard.
Z User Workshop 1992: 52-61 |
1991 |
3 | | J. E. Nicholls:
Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990
Springer 1991 |
2 | | J. E. Nicholls:
Domains of Application for Formal Methods.
Z User Workshop 1991: 145-156 |
1990 |
1 | | J. E. Nicholls:
A Survey of Z Courses in the UK.
Z User Workshop 1990: 343-350 |