placeholder image

K. Campbell, B.

Person

Positions

University of Edinburgh

selected publications

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

full name

B. K. Campbell

Publications in VIVO

Co-author Network