LCF Examples in HOL (1994)

Cached

Download Links

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