Sriram Rajamani

Digital Library

ACM Fellows

India - 2015

citation

For contributions to software analysis and defect detection.

Press Release