Teaching formal methods for program development and verification (Panel Session).

Susan L. Gerhart, Eric C. R. Hehner, Harlan D. Mills, A. Joe Turner

Browse the full SIGCSE paper archive.