J. P. Parkes

Secure Synthesis of Code: A Process Improvement Experiment

S. Anderson, M. Shackleton, P. Garbett, 1999, World Congress on Formal Methods.