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

Document Versions

HOL Light: A tutorial introduction –John Harrison — 1996 — Proceedings of the First International Conference on Formal Methods in Computer-Aided Design (FMCAD’96), volume 1166 of Lecture Notes in Computer Science