John E. Nicholls

According to our database, John E. Nicholls authored at least 5 papers between 1990 and 1994.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1994

Understanding the differences between VDM and Z.

Ian J. Hayes, Cliff B. Jones, John E. Nicholls

ACM SIGSOFT Softw. Eng. Notes, 1994

1992

Plain Guide to the Z Base Standard.

John E. Nicholls

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

1991

Domains of Application for Formal Methods.

John E. Nicholls

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

1990

<i>Benefits and risks of knowledge-based systems</i> Report by a Working Party, UK Council for Science and Society, OUP, Oxford 1989, pp 76, £6.95.

John E. Nicholls

Knowl. Eng. Rev., 1990

A Survey of Z Courses in the UK.

John E. Nicholls

Proceedings of the Z User Workshop, 1990