M. Subramaniam
-
Mechanical Verification of Adder Circuits using Rewrite RuleLaboratory
Formal Methods in System Design