Robin A. Nicholl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1987–1991
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1991 | FM | EZ: A System for Automatic Prototyping of Z Specifications. | Veronika Doma, Robin A. Nicholl |
| 1990 | COMPSAC | Introducing formality into the software development process: experience with a software project course. | Robin A. Nicholl |
| 1988 | COMPSAC | Integrating three tool-based approaches to software engineering. | Robin A. Nicholl |
| 1987 | SIGGRAPH | An efficient new algorithm for 2-D line clipping: Its development and analysis. | Tina M. Nicholl, D. T. Lee, Robin A. Nicholl |