Interactive Theorem Proving

MLA

Urban, and Xingyuan Zhang. Interactive Theorem Proving. Springer International Publishing, 2015.

APA

Urban, U., & Zhang, X. (2015). Interactive Theorem Proving. Springer International Publishing.

Chicago

Urban, and Xingyuan Zhang. Interactive Theorem Proving. : Springer International Publishing, 2015.