A Compositional Rule for Hardware Design Refinement.

Kenneth L. McMillan

Browse the full CAV paper archive.