| |
| 2006 | ||
|---|---|---|
| 10 | EE | R. D. Arthan: A Verified Formal Model of a VC Generator. SEW 2006: 263-271 |
| 2001 | ||
| 9 | EE | R. D. Arthan: An Irrational Construction of R from Z. TPHOLs 2001: 43-58 |
| 2000 | ||
| 8 | EE | R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith: ClawZ: Control Laws in Z. ICFEM 2000: 169-176 |
| 7 | EE | R. D. Arthan: Analysis of Compiled Code: A Prototype Formal Model. ZB 2000: 433-449 |
| 1998 | ||
| 6 | R. D. Arthan: Recursive Definitions in Z. ZUM 1998: 154-171 | |
| 1997 | ||
| 5 | Colin O'Halloran, R. D. Arthan, D. King: Using a Formal Specification Contractually. Formal Asp. Comput. 9(4): 349-358 (1997) | |
| 1991 | ||
| 4 | R. D. Arthan: A Report on ICL HOL. TPHOLs 1991: 280-283 | |
| 3 | R. D. Arthan: On Formal Specification of a Proof Tool. VDM Europe (1) 1991: 356-370 | |
| 2 | R. D. Arthan: On Free Type Definitions in Z. Z User Workshop 1991: 40-58 | |
| 1988 | ||
| 1 | R. D. Arthan: Compiler Prototyping with VDM and Standard ML. VDM Europe 1988: 101-115 | |
| 1 | P. Caseley | [8] |
| 2 | D. King | [5] |
| 3 | Colin O'Halloran | [5] [8] |
| 4 | Alf Smith | [8] |