Jhala received the ACM honor for lifetime contributions to software verification, developing innovative tools to help computer programmers test their code.Read More
Jhala received the ACM honor for lifetime contributions to software verification, developing innovative tools to help computer programmers test their code.Read More