Free Facts: An Alternative to Inefficient Axioms in Dafny.

Tabea Bordis, K. Rustan M. Leino

Browse the full FM paper archive.