JOBSTMANN, Barbara und LEINO, K. Rustan M (Hrsg.). [cd]. 2016. 1 st ed. 2016. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783662491225.
Elsevier - Harvard (with titles)Jobstmann, B., Leino, K.R.M. (Hrsg.), 2016. Verification, Model Checking, and Abstract Interpretation : 17 th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-662-49122-5
American Psychological Association 7th editionJobstmann, B., … Leino, K. R. M. (Hrsg.). (ca. 2016). Verification, Model Checking, and Abstract Interpretation : 17 th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2016). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-49122-5
Springer - Basic (author-date)Jobstmann B, Leino KRM (Hrsg.) (2016) Verification, Model Checking, and Abstract Interpretation : 17 th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Jobstmann, Barbara/ Leino, K. Rustan M (Hrsg.), Verification, Model Checking, and Abstract Interpretation : 17 th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, Theoretical Computer Science and General Issues 2016, .