Dafny meets the Verification Benchmarks Challenge

by K. Rustan M. Leino , Rosemary Monahan
Citations:10 - 3 self