K. Rustan M. Leino

K. Rustan M. Leino is a Senior Principal Applied Scientist in the Automated Reasoning Group at Amazon Web Services, an ACM and IRIP Fellow, and a recipient of the CAV Award.

Books

Program Proofs by Leino 9780262375436

Details Purchase

Please review our browser version requirements below:

Browser	Version
Chrome (Recommended)	Latest
Firefox	Latest
Edge	Latest
Safari	Latest

For the best experience, please upgrade to the latest version of your browser. We suggest using Google Chrome. Cookies must be enabled in your browser while using our system.

K. Rustan M. Leino

The MIT Press

Catalog

K. Rustan M. Leino

The MIT Press

Catalog

Video Title

Common Access Code Issues

Common Payment Issues