Clive Hayton

Publication Activity (10 Years)

Years Active: 1994-1994
Publications (10 Years): 0

Publications

Aaron Kans, Clive Hayton
Translating VDM specifications into ABC programs. Inf. Softw. Technol. 36 (12) (1994)
Aaron Kans, Clive Hayton
Using ABC To Prototype VDM Specifications. ACM SIGPLAN Notices 29 (1) (1994)