Vol-2853⫷ Vol-2854 ⫸Vol-2855
urn:nbn:de:0074-2854-0


Vol-2854/abstract1⫷Vol-2854/abstract2⫸Vol-2854/short1
Shmuel Sagiv

Invited Talk: Harnessing SMT Solvers for Verifying Low Level Programs