APA (7th ed.) Citation

Leavens, G. T., & Leavens, G. T. C. (2005). Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems. ACM.

Chicago Style (17th ed.) Citation

Leavens, Gary T., and Gary T Contributor Leavens. Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems. [Place of publication not identified]: ACM, 2005.

MLA (9th ed.) Citation

Leavens, Gary T., and Gary T Contributor Leavens. Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems. ACM, 2005.