Sharygina, N., & Veith, H. (2013). Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style CitationSharygina, Natasha., and Helmut Veith. Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.
MLA CitationSharygina, Natasha., and Helmut Veith. Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.
Warning: These citations may not always be 100% accurate.