Alf Smith

Publication Activity (10 Years)

Years Active: 1989-2000
Publications (10 Years): 0

Publications

R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith
ClawZ: Control Laws in Z. ICFEM (2000)
Colin O'Halloran, Alf Smith
Verification of Picture Generated Code. ASE (1999)
Colin O'Halloran, Alf Smith
Don't Verify, Abstract! ASE (1998)
Alf Smith
On Recursive Free Types in Z. Z User Workshop (1991)
Alf Smith
The Knuth-Bendix Completion Algorithm and Its Specification in Z. Z User Workshop (1989)