author : J. P. Parkes

Short works

• Secure Synthesis of Code: A Process Improvement Experiment. 1999. (In FM'99 volume 2 )