Correctness by Construction: Integrating Formality into a Commercial Development Process.

Anthony Hall

Browse the full FM paper archive.