Alf Smith

	2000
4		R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith: ClawZ: Control Laws in Z. ICFEM 2000: 169-176
	1999
3		Colin O'Halloran, Alf Smith: Verification of Picture Generated Code. ASE 1999: 127-136
	1998
2		Colin O'Halloran, Alf Smith: Don't Verify, Abstract! ASE 1998: 53-62
	1991
1		Alf Smith: On Recursive Free Types in Z. Z User Workshop 1991: 3-39

Coauthor Index

1	R. D. Arthan	[4]
2	P. Caseley	[4]
3	Colin O'Halloran	[2] [3] [4]