Paper "Physical addressing on real hardware in Isabelle/HOL" accepted at ITP'18

The folowing paper has been accepted at the 9th International Conference on Interactive Theorem Proving (ITP'18) in Oxford, United Kingdom, July 9-12 2018:

"Physical addressing on real hardware in Isabelle/HOL" by Reto Achermann, Lukas Humbel, David Cock and Timothy Roscoe