Chaki, S., Schallhart, C., Veith, H., & Damm, W. (2007). Verification Across Intellectual Property Boundaries. Springer.

Chaki, S., C. Schallhart, H. Veith, and W. Damm. Verification Across Intellectual Property Boundaries. Springer, 2007.

Chaki, S., et al. Verification Across Intellectual Property Boundaries. Springer, 2007.