Dafny meets the Verification Benchmarks Challenge

by K. Rustan M. Leino , Rosemary Monahan
Citations:4 - 2 self