Angus Hammond is an author at Aarhus University.
Publications per year
2022–2022
1
1
Islaris: verification of machine code against authoritative ISA semantics
Michael Sammler, Angus Hammond, Rodolphe Lepigre et al. · 2022 · 25 citations · Full text
Rows per page
1–1 of 1