Scott D. Johnson
-
Interactive proof checking
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
NO ABSTRACT SUPPLIED