SpringerLink (Online service), Hawblitzel, C., & Miller, D. (2012). Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Chris Hawblitzel, and Dale Miller. Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2012.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2012.
Warning: These citations may not always be 100% accurate.
