APA (7th ed.) Citation

CAV (Conference) Seattle, Wash.), SpringerLink (Online service), Ball, T., & Jones, R. B. (2006). Computer aided verification (vol. # 4144): 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

CAV (Conference) Seattle, Wash.), SpringerLink (Online service), Thomas Ball, and Robert B. Jones. Computer Aided Verification (vol. # 4144): 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Berlin Heidelberg: Springer-Verlag, 2006.

MLA (8th ed.) Citation

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