Dafny meets the verification benchmarks challenge (2010)

by K R M Leino, R Monahan
Venue:In Proceedings of VSTTE