Rustan Leino Seminar

18 Apr 2010 - 13:45:55 in Seminar
Rustan Leino from Microsoft Research gave a seminar on The Dafny program verifier.