Using and Building an Automatic Program Verifier (Lecture 3)

  • Rustan Leino

LASER Summer School 2011 Elba, Italy |

Published by Microsoft Research

Download BibTex

LASER Summer School 2011 Elba, Italy Presentation.