placeholder image

Garg, Deepak

Person

Positions

Max Planck Institute for Software Systems

selected publications

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

full name

Deepak Garg

Publications in VIVO

Co-author Network