dblp.uni-trier.dewww.uni-trier.de

J. E. Nicholls

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Jonathan P. Bowen [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)