COOK, Byron and PODELSKI, Andreas (eds.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540697381.
Elsevier - Harvard (with titles)Cook, B., Podelski, A. (Eds.), 2007. Verification, Model Checking, and Abstract Interpretation : 8 th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-540-69738-1
American Psychological Association 7th editionCook, B., … Podelski, A. (eds.). (ca. 2007). Verification, Model Checking, and Abstract Interpretation : 8 th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2007 st ed.). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-69738-1
Springer - Basic (author-date)Cook B, Podelski A (eds.) (2007) Verification, Model Checking, and Abstract Interpretation : 8 th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Cook, Byron/ Podelski, Andreas (eds.), Verification, Model Checking, and Abstract Interpretation : 8 th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings, Theoretical Computer Science and General Issues 2007, .