Using and Building an Automatic Program Verifier (Lecture 4)

• Rustan Leino

LASER Summer School 2011 Elba, Italy | September 2011