(2011). Certified programs and proofs: First international conference, CPP 2011, Kenting, Taiwan, December 7 - 9, 2011 ; proceedings. Springer.
Chicago Style (17th ed.) CitationCertified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7 - 9, 2011 ; Proceedings. Berlin [u.a.]: Springer, 2011.
MLA (9th ed.) CitationCertified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7 - 9, 2011 ; Proceedings. Springer, 2011.
Warning: These citations may not always be 100% accurate.