Reto Achermann presented his paper "Formalizing Memory Accesses and Interrupts" at MARS 2017

Reto Achermann presented the following paper at MARS 2017 (2nd Workshop on Models for Formal Analysis of Real Systems), Uppsala, Sweden:

"Formalizing Memory Accesses and Interrupts" by Reto Achermann, Lukas Humbel, David Cock and Timothy Roscoe.