APA (7th ed.) Citation

CAV (Conference) Seattle, Wash.), Ball, T., & Jones, R. B. (2006). Computer aided verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings. Springer.

Chicago Style (17th ed.) Citation

CAV (Conference) Seattle, Wash.), Thomas Ball, and Robert Brent Jones. Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : Proceedings. Berlin ; New York: Springer, 2006.

MLA (9th ed.) Citation

CAV (Conference) Seattle, Wash.), et al. Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : Proceedings. Springer, 2006.