R. D. Arthan

	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

Coauthor Index

1	P. Caseley	[8]
2	D. King	[5]
3	Colin O'Halloran	[5] [8]
4	Alf Smith	[8]