CAV 2000. Chicago, Ill, Emerson, E. A., & Sistla, A. P. (2000). Computer aided verification: 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings. Springer.
Chicago Style (17th ed.) CitationCAV 2000. Chicago, Ill, E. Allen Emerson, and Aravinda Prasad Sistla. Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; Proceedings. Berlin ; New York: Springer, 2000.
MLA (9th ed.) CitationCAV 2000. Chicago, Ill, et al. Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; Proceedings. Springer, 2000.
Warning: These citations may not always be 100% accurate.