APA (7th ed.) Citation

(2011). Computer aided verification: 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; Proceedings. Berlin [u.a.]: Springer, 2011.

MLA (9th ed.) Citation

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; Proceedings. Springer, 2011.