Secure Synthesis of Code: A Process Improvement Experiment.

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

Browse the full FM paper archive.