Reuse of Verified Design Templates Through Extended Pattern Matching.

David Hemer, Peter A. Lindsay

Browse the full FM paper archive.