P. Garbett

According to our database, P. Garbett authored at least 2 papers in 1999.

Collaborative distances:

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

1999

A case study in innovative process improvement: code synthesis from formal specifications.

P. Garbett, J. P. Parkes, Mike Shackleton, Stuart Anderson

Microprocess. Microsystems, 1999

Secure Synthesis of Code: A Process Improvement Experiment.

P. Garbett, J. P. Parkes, Mike Shackleton, Stuart Anderson

Proceedings of the FM'99 - Formal Methods, 1999