Introducing Abstractions via Rewriting

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/11560548_41 ◽

2005 ◽

pp. 402-405

Author(s):

William D. Young

Download Full-text