Embedded Languages for Describing and Verifying Hardware (2001)

Cached

Download Links

by Koen Claessen
Citations:17 - 2 self

Document Versions

Embedded Languages for Describing and Verifying Hardware –Koen Claessen — 2001