Lukas Humbel presented "Physical Addressing on Real Hardware in Isabelle/HOL" at ITP 2018

Lukas Humbel presented the following paper at the 9th International Conference on Interactive Theorem Proving (ITP 2018), July 9-12 2018, Oxford, United Kingdom.

Physical Addressing on Real Hardware in Isabelle/HOL by Reto Achermann, Lukas Humbel, David Cock and Timothy Roscoe.