Interactive Theorem Proving

MLA

Ayala-Rincón, and César A Muñoz. Interactive Theorem Proving. Springer International Publishing, 2017.

APA

Ayala-Rincón, A., & Muñoz, C. A. (2017). Interactive Theorem Proving. Springer International Publishing.

Chicago

Ayala-Rincón, and César A Muñoz. Interactive Theorem Proving. : Springer International Publishing, 2017.