author : M. Shackleton

Short works

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