Clive Hayton

According to our database, Clive Hayton authored at least 2 papers in 1994.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of six.

1994

Using ABC To Prototype VDM Specifications.

Aaron Kans, Clive Hayton

ACM SIGPLAN Notices, 1994

Translating VDM specifications into ABC programs.

Aaron Kans, Clive Hayton

Inf. Softw. Technol., 1994