HOL Light: A tutorial introduction (1996)

Cached

Download Links

by John Harrison
Venue:Proceedings of the First International Conference on Formal Methods in Computer-Aided Design (FMCAD’96), volume 1166 of Lecture Notes in Computer Science
Citations:70 - 9 self