![]() | ![]() |
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] |