APA (7th ed.) Citation

International Conference on Interactive Theorem Proving Brasília, Ayala-Rincón, M., & Muñoz, C. A. (2017). Interactive theorem proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017 : proceedings. Springer. https://doi.org/10.1007/978-3-319-66107-0

Chicago Style (17th ed.) Citation

International Conference on Interactive Theorem Proving Brasília, Mauricio Ayala-Rincón, and César A. Muñoz. Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017 : Proceedings. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-66107-0.

MLA (9th ed.) Citation

International Conference on Interactive Theorem Proving Brasília, et al. Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017 : Proceedings. Springer, 2017. https://doi.org/10.1007/978-3-319-66107-0.