Rustan Leino

Directions to and for verified software

IC Colloquia

Click on a slide to jump to that slide. Scroll to see all the slide thumbnails.