A first course in program verification and the semantics of programming languages.

Raymond D. Gumb

Browse the full SIGCSE paper archive.