P. Garbett

Publication Activity (10 Years)

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

Publications

P. Garbett, J. P. Parkes, Mike Shackleton, Stuart Anderson
Secure Synthesis of Code: A Process Improvement Experiment. World Congress on Formal Methods (1999)
P. Garbett, J. P. Parkes, Mike Shackleton, Stuart Anderson
A case study in innovative process improvement: code synthesis from formal specifications. Microprocess. Microsystems 23 (7) (1999)