ELVIS> Main>News>RustanLeinoSeminar (18 Apr 2010, Main.craig)

Rustan Leino Seminar

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

Print version | Backlinks
 
© 2009 Victoria University of Wellington, New Zealand, unless otherwise stated