Mechanised Verification Patterns for Dafny.

Gudmund Grov, Yuhui Lin, Vytautas Tumas

Browse the full FM paper archive.