Alf Smith

According to our database, Alf Smith authored at least 5 papers between 1989 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

ClawZ: Control Laws in Z.

R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

1999

Verification of Picture Generated Code.

Colin O'Halloran, Alf Smith

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

1998

Don't Verify, Abstract!

Colin O'Halloran, Alf Smith

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1991

On Recursive Free Types in Z.

Alf Smith

Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991

1989

The Knuth-Bendix Completion Algorithm and Its Specification in Z.

Alf Smith

Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989, 1989