Victoria Stavridou;Thomas F. Melham;Raymond T. Boute
-;-;-
Mechanical Verification of Adder Circuits using Rewrite RuleLaboratory
Formal Methods in System Design