Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - David L. Dill - Häftad | Bokus