APA (7th ed.) Citation

Kaufmann, M. (2010). Interactive theorem proving: First international conference ; proceedings. Springer. https://doi.org/10.1007/978-3-642-14052-5

Chicago Style (17th ed.) Citation

Kaufmann, Matt. Interactive Theorem Proving: First International Conference ; Proceedings. Berlin ; Heidelberg ; New York, NY: Springer, 2010. https://doi.org/10.1007/978-3-642-14052-5.

MLA (9th ed.) Citation

Kaufmann, Matt. Interactive Theorem Proving: First International Conference ; Proceedings. Springer, 2010. https://doi.org/10.1007/978-3-642-14052-5.