SHARYGINA, Natasha und VEITH, Helmut (Hrsg.). [cd]. 2013. 1 st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642397998.
Elsevier - Harvard (with titles)Sharygina, N., Veith, H. (Hrsg.), 2013. Computer Aided Verification : 25 th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-39799-8
American Psychological Association 7th editionSharygina, N., … Veith, H. (Hrsg.). (ca. 2013). Computer Aided Verification : 25 th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2013). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39799-8
Springer - Basic (author-date)Sharygina N, Veith H (Hrsg.) (2013) Computer Aided Verification : 25 th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Sharygina, Natasha/ Veith, Helmut (Hrsg.), Computer Aided Verification : 25 th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings, Theoretical Computer Science and General Issues 2013, .