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