Proving compiler correctness in a mechanised logic

Robin Milner, R.W. Weyhrauch

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Article number3
Pages (from-to)51-73
JournalMachine Intelligence
Volume7
Publication statusPublished - 1972

Cite this