LCF Examples in HOL (1994)

Cached

Download Links

by Sten Agerholm , Sten Agerholm
Venue:The Computer Journal
Citations:12 - 4 self

Document Versions

LCF Examples in HOL –Sten Agerholm, Sten Agerholm — 1994 — The Computer Journal