Mutatis Mutandis: Safe and predictable dynamic software updating

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

Research output: Contribution to journalArticlepeer-review

60 Scopus citations

Fingerprint

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

Engineering & Materials Science