Interactive Theorem Proving

MLA

Gerwin Klein, Ruben Gamboa, Ruben Gamboa, and Josef Kittler. Interactive Theorem Proving. Springer International Publishing, 2014.

APA

Gerwin Klein, R. Gamboa, Gamboa, R., & Kittler, J. (2014). Interactive Theorem Proving. Springer International Publishing.

Chicago

Gerwin Klein, Ruben Gamboa, Ruben Gamboa, and Josef Kittler. Interactive Theorem Proving. : Springer International Publishing, 2014.