placeholder image

Sammler, Michael

Person

Positions

Max Planck Institute for Software Systems

selected publications

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

full name

Michael Sammler

Publications in VIVO

Co-author Network