Developing verified programs with Dafny

K. Rustan M. Leino. Developing verified programs with Dafny. In Ben Brosgol, Jeff Boleng, S. Tucker Taft, editors, Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA. pages 9-10, ACM, 2012. [doi]

Abstract

Abstract is missing.