Using Recursive Types to Reason about Hardware in Higher Order Logic (1988)

Cached

Download Links

by Thomas Melham
Citations:19 - 1 self