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.
Trích dẫn kiểu ChicagoSharygina, 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.
Trích dẫn MLASharygina, 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.