P. Garbett, J. P. Parkes, M. Shackleton, S. Anderson
Secure Synthesis of Code: A Process Improvement Experiment
FM, 1999.
@inproceedings{FM-v2-1999-GarbettPSA,
author = "P. Garbett and J. P. Parkes and M. Shackleton and S. Anderson",
booktitle = "{Proceedings of the World Congress on Formal Methods in the Development of Computing Systems. Volume II}",
doi = "10.1007/3-540-48118-4_46",
isbn = "3-540-66588-9",
pages = "1816--1835",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Secure Synthesis of Code: A Process Improvement Experiment}",
volume = 1709,
year = 1999,
}