Developing verified programs with dafny

K. Rustan M. Leino. Developing verified programs with dafny. In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 1488-1490, IEEE / ACM, 2013. [doi]

Abstract

Abstract is missing.