APA (7th ed.) Citation

Calcagno, C., Distefano, D., O’Hearn, P., & Yang, H. (2009). Compositional Shape Analysis by means of Bi−abduction. ACM.

Chicago Style (17th ed.) Citation

Calcagno, C., D. Distefano, P. O’Hearn, and H. Yang. Compositional Shape Analysis by Means of Bi−abduction. ACM, 2009.

MLA (9th ed.) Citation

Calcagno, C., et al. Compositional Shape Analysis by Means of Bi−abduction. ACM, 2009.