Matthew Brecknell

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 1

Publications

Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch, Simon Wimmer
AutoCorres2. Arch. Formal Proofs 2024 (2024)
Matthew Brecknell, Paul Roe
Modular transactional memory. ACSC (2010)