GIACOBAZZI, Roberto, BERDINE, Josh und MASTROENI, Isabella (Hrsg.). [cd]. 2013. 1 st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642358739.
Elsevier - Harvard (with titles)Giacobazzi, R., Berdine, J., Mastroeni, I. (Hrsg.), 2013. Verification, Model Checking, and Abstract Interpretation : 14 th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-35873-9
American Psychological Association 7th editionGiacobazzi, R., Berdine, J., … Mastroeni, I. (Hrsg.). (ca. 2013). Verification, Model Checking, and Abstract Interpretation : 14 th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 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-35873-9
Springer - Basic (author-date)Giacobazzi R, Berdine J, Mastroeni I (Hrsg.) (2013) Verification, Model Checking, and Abstract Interpretation : 14 th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Giacobazzi, Roberto/ Berdine, Josh/ Mastroeni, Isabella (Hrsg.), Verification, Model Checking, and Abstract Interpretation : 14 th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings, Theoretical Computer Science and General Issues 2013, .