HOL Light: A tutorial introduction (1996)

by J
Venue:Proceedings of the First International Conference on Formal Methods in Computer-Aided Design (FMCAD’96), Volume 1166 of Lecture Notes in Computer Science