APA (7th ed.) Citation

(2001). Computer aided verification: 13th international conference, CAV 2001, Paris, France, July 18 - 22, 2001 ; proceedings. Springer. https://doi.org/10.1007/3-540-44585-4

Chicago Style (17th ed.) Citation

Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18 - 22, 2001 ; Proceedings. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2001. https://doi.org/10.1007/3-540-44585-4.

MLA (9th ed.) Citation

Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18 - 22, 2001 ; Proceedings. Springer, 2001. https://doi.org/10.1007/3-540-44585-4.