Searching for "Learning to use HOL." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Transition Assertions: A Higher-Order Logic Based Method for the Specification and Verification of Real-Time Systems
by Victor Alberto Carreno Coll, Victor Alberto — 1997
… questions while I was learning the use of the HOL system. Thanks to Paul Miner and Jim Caldwell for reading…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB