An Overview of the Edinburgh Logical Framework (1989)

Cached

Download Links

by Arnon Avron , Furio Honsell , Ian Mason
Venue:In Current Trends in Hardware Verification and Automated Theorem Proving, G. Birtwistle
Citations:9 - 3 self