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]
No references recorded for this publication.
No citations of this publication recorded.