placeholder image

Pichon-Pharabod, Jean

Person

Positions

Aarhus University

selected publications

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

full name

Jean Pichon-Pharabod

Publications in VIVO

Co-author Network