TY  - RPRT
TI  - Verification Across Intellectual Property Boundaries
AU  - Sagar Chaki
AU  - Christian Schallhart
AU  - Helmut Veith
PY  - 2011
UR  - https://arxiv.org/abs/cs/0701187
ID  - cs/0701187
ER  -