Interactive Theorem Proving

MLA

Blanchette, Jasmin Christian;Merz, Stephan, and Stephan Merz. Interactive Theorem Proving. Springer International Publishing, 2016.

APA

Blanchette, S., & Merz, S. (2016). Interactive Theorem Proving. Springer International Publishing.

Chicago

Blanchette, Jasmin Christian;Merz, Stephan, and Stephan Merz. Interactive Theorem Proving. : Springer International Publishing, 2016.