Mutatis Mutandis: Safe and predictable dynamic software updating

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

Research output: Contribution to journal › Article › peer-review

67 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