author : Stuart Anderson

Short works

• Gaining Assurance with Formal Methods. 1995. (In Applications of Formal Methods )
• Secure Synthesis of Code: A Process Improvement Experiment. 1999. (In FM'99 volume 2 )