Artifact for the paper 'A Dependent Nominal Physical Type System for the Static Analysis of Memory in Low Level Code'

Creators

• Simonnet, Julien (Editor)^{1, 2}
• Lemerre, Matthieu (Editor)^{1, 2}
• Sighireanu, Mihaela (Editor)^{2, 3, 4}