Towards progressive program verification in Dafny

Ismael Figueroa, Bruno García, Paul Leger. Towards progressive program verification in Dafny. In Carlos Camarão, Martin Sulzmann, editors, Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018. pages 90-97, ACM, 2018. [doi]

Abstract

Abstract is missing.