APA引文

Sharygina, N., & Veith, H. (2013). Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (1st ed. 2013.). Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer.

Chicago Style Citation

Sharygina, Natasha., and Helmut Veith. Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings. 1st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.

MLA引文

Sharygina, Natasha., and Helmut Veith. Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings. 1st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.

警告：这些引文格式不一定是100％准确.