HAWBLITZEL, Chris und MILLER, Dale (Hrsg.). [cd]. 2012. 1 st ed. 2012. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642353086.
Elsevier - Harvard (with titles)Hawblitzel, C., Miller, D. (Hrsg.), 2012. Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-35308-6
American Psychological Association 7th editionHawblitzel, C., … Miller, D. (Hrsg.). (ca. 2012). Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 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-35308-6
Springer - Basic (author-date)Hawblitzel C, Miller D (Hrsg.) (2012) Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Hawblitzel, Chris/ Miller, Dale (Hrsg.), Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings, Theoretical Computer Science and General Issues 2012, .