Using SPARK for a beginner s course on reasoning about imperative programs

Kung-Kiu Lau. Using SPARK for a beginner s course on reasoning about imperative programs. In Alok Srivastava, Leemon C. Baird III, editors, Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007. pages 75-78, ACM, 2007. [doi]

Abstract

Abstract is missing.