Public

Parameterized Program Equivalence Checking

Published • Jan 1, 2011

NobleIDark:/48914/w1/20260524/1483E107Record on NobleID

Authors:

Zachary Tatlock

Subject

Equivalence (formal languages)

Formal equivalence checking

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!