K. Rustan M. Leino. Program proving using intermediate verification languages (IVLs) like boogie and why3. 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 25-26, ACM, 2012. [doi]
Abstract is missing.