placeholder image

Sewell, Peter

Person

Positions

University of Cambridge

selected publications

conference paper
- Islaris: verification of machine code against authoritative ISA semantics. . 2022

full name

Peter Sewell

Publications in VIVO

Co-author Network