Towards Self-verification of HOL Light (2006)

Cached

Download Links

by John Harrison
Venue:In International Joint Conference on Automated Reasoning
Citations:16 - 0 self

Document Versions

Towards Self-verification of HOL Light –John Harrison — 2006 — In International Joint Conference on Automated Reasoning