"Automatic verification of Dafny programs with traits."

Reza Ahmadi, K. Rustan M. Leino, Jyrki Nummenmaa (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics