Tactics for the Dafny Program Verifier.

Gudmund Grov, Vytautas Tumas

Browse the full TACAS paper archive.