Checking Program Proofs Made Eas.

Martina Schollmeyer, Bruce M. McMillin

Browse the full COMPSAC paper archive.