KUNCAK, Viktor und RYBALCHENKO, Andrey (Hrsg.). [cd]. 2012. 1 st ed. 2012. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642279409.
Elsevier - Harvard (with titles)Kuncak, V., Rybalchenko, A. (Hrsg.), 2012. Verification, Model Checking, and Abstract Interpretation : 13 th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-27940-9
American Psychological Association 7th editionKuncak, V., … Rybalchenko, A. (Hrsg.). (ca. 2012). Verification, Model Checking, and Abstract Interpretation : 13 th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2012). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-27940-9
Springer - Basic (author-date)Kuncak V, Rybalchenko A (Hrsg.) (2012) Verification, Model Checking, and Abstract Interpretation : 13 th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Kuncak, Viktor/ Rybalchenko, Andrey (Hrsg.), Verification, Model Checking, and Abstract Interpretation : 13 th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings, Theoretical Computer Science and General Issues 2012, .