Certified Programs and Proofs

MLA

Jouannaud, Jean-Pierre, and Zhong Shao. Certified Programs and Proofs. Springer Berlin Heidelberg, 2011.

APA

Jouannaud, J., & Shao, Z. (2011). Certified Programs and Proofs. Springer Berlin Heidelberg.

Chicago

Jouannaud, Jean-Pierre, and Zhong Shao. Certified Programs and Proofs. : Springer Berlin Heidelberg, 2011.