Checking Program Proofs Made Eas

Martina Schollmeyer, Bruce M. McMillin. Checking Program Proofs Made Eas. In 19th International Computer Software and Applications Conference (COMPSAC 95), August 9-11, 1995, Dallas, Texas, USA. pages 102-107, IEEE Computer Society, 1995. [doi]

Abstract

Abstract is missing.