APA (7th ed.) Citation

SpringerLink (Online service), Beringer, L., & Felty, A. (2012). Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (1st ed. 2012.). Springer Berlin Heidelberg : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Lennart Beringer, and Amy Felty. Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. 1st ed. 2012. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2012.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. 1st ed. 2012. Springer Berlin Heidelberg : Imprint: Springer, 2012.