placeholder image

Lepigre, Rodolphe

Person

Positions

Max Planck Institute for Software Systems

selected publications

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

full name

Rodolphe Lepigre

Publications in VIVO

Co-author Network