Verification Across Intellectual Property Boundaries.

Sagar Chaki, Christian Schallhart, Helmut Veith

Browse the full CAV paper archive.