APA (7th ed.) Citation

(1997). Computer aided verification: 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings. Springer. https://doi.org/10.1007/3-540-63166-6

Chicago Style (17th ed.) Citation

Computer Aided Verification: 9th International Conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; Proceedings. Berlin u.a: Springer, 1997. https://doi.org/10.1007/3-540-63166-6.

MLA (9th ed.) Citation

Computer Aided Verification: 9th International Conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; Proceedings. Springer, 1997. https://doi.org/10.1007/3-540-63166-6.