On Proving the Correctness of Optimizing Transformations in a Digital Design Automation System

Author(s):  
M.C. McFarland
Sign in / Sign up

Export Citation Format

Share Document