Mutatis Mutandis: Safe and predictable dynamic software updating

Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, Iulian Neamtiu

Research output: Contribution to journalArticlepeer-review

65 Scopus citations

Fingerprint

Dive into the research topics of 'Mutatis Mutandis: Safe and predictable dynamic software updating'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Biochemistry, Genetics and Molecular Biology