Shmuel Sagiv

Digital Library

ACM Fellows

Israel - 2015

citation

For contributions to the theory and practice of automated analysis and verification of software.

Press Release