K. Rustan M. Leino

Digital Library

ACM Fellows

USA - 2016

citation

For contributions to making program verification accessible and practical.

Press Release