Ranjit Jhala

Digital Library

ACM Fellows

USA - 2021

citation

For contributions to software verification

Press Release