 | 2010 |
|---|
| 11 |       | R. D. Arthan:
Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?
ICMS 2010: 148 |
| 2006 |
|---|
| 10 | | R. D. Arthan:
A Verified Formal Model of a VC Generator.
SEW 2006: 263-271 |
| 2001 |
|---|
| 9 | | R. D. Arthan:
An Irrational Construction of R from Z.
TPHOLs 2001: 43-58 |
| 2000 |
|---|
| 8 | | R. D. Arthan,
P. Caseley,
Colin O'Halloran,
Alf Smith:
ClawZ: Control Laws in Z.
ICFEM 2000: 169-176 |
| 7 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page