placeholder image

Dreyer, Derek

Person

Positions

Max Planck Institute for Software Systems

selected publications

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

full name

Derek Dreyer

Publications in VIVO

Co-author Network