John E. Nicholls

Publication Activity (10 Years)

Years Active: 1990-1994
Publications (10 Years): 0

Publications

Ian J. Hayes, Cliff B. Jones, John E. Nicholls
Understanding the differences between VDM and Z. ACM SIGSOFT Softw. Eng. Notes 19 (3) (1994)
John E. Nicholls
Plain Guide to the Z Base Standard. Z User Workshop (1992)
John E. Nicholls
Domains of Application for Formal Methods. Z User Workshop (1991)
John E. Nicholls
Report by a Working Party, UK Council for Science and Society, OUP, Oxford 1989, pp 76, £6.95. Knowl. Eng. Rev. 5 (1) (1990)
John E. Nicholls
A Survey of Z Courses in the UK. Z User Workshop (1990)