Interactive Theorem Proving

MLA

Hutchison, David; Kanade, Takeo; Kittler, Josef, Christine Paulin-Mohring, and David Pichardie. Interactive Theorem Proving. Springer Berlin Heidelberg, 2013.

APA

Hutchison, J., Paulin-Mohring, C., & Pichardie, D. (2013). Interactive Theorem Proving. Springer Berlin Heidelberg.

Chicago

Hutchison, David; Kanade, Takeo; Kittler, Josef, Christine Paulin-Mohring, and David Pichardie. Interactive Theorem Proving. : Springer Berlin Heidelberg, 2013.