Automatic verification of Dafny programs with traits.

Reza Ahmadi, K. Rustan M. Leino, Jyrki Nummenmaa

Browse the full ECOOP paper archive.