Bertot, Y., & Castéran, P. (2004). Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (1st ed. 2004.). Berlin, Heidelberg: Springer Berlin Heidelberg.
Chicago Style CitationBertot, Yves, and Pierre Castéran. Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions. 1st ed. 2004. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
MLA CitationBertot, Yves, and Pierre Castéran. Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions. 1st ed. 2004. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
Warning: These citations may not always be 100% accurate.