Certified Programs and Proofs

MLA

Hawblitzel, and Dale Miller. Certified Programs and Proofs. Springer Berlin Heidelberg, 2012.

APA

Hawblitzel, H., & Miller, D. (2012). Certified Programs and Proofs. Springer Berlin Heidelberg.

Chicago

Hawblitzel, and Dale Miller. Certified Programs and Proofs. : Springer Berlin Heidelberg, 2012.