APA (7th ed.) Citation

(2003). Computer aided verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 ; proceedings. Springer. https://doi.org/10.1007/b11831

Chicago Style (17th ed.) Citation

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 ; Proceedings. Berlin u.a: Springer, 2003. https://doi.org/10.1007/b11831.

MLA (9th ed.) Citation

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 ; Proceedings. Springer, 2003. https://doi.org/10.1007/b11831.