APA (7th ed.) Citation

(2012). Certified programs and proofs: Second international conference, CPP 2012, Kyoto, Japan, December 13 - 15, 2012 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13 - 15, 2012 ; Proceedings. Berlin [u.a.]: Springer, 2012.

MLA (9th ed.) Citation

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13 - 15, 2012 ; Proceedings. Springer, 2012.