Dafny meets the verification benchmarks challenge (2010)

by K R M Leino, R Monahan
Venue:Verified Software: Theories, Tools, Experiments (VSTTE 2010), volume 6217 of LNCS