ITP(Conference) Berg en Dal, Netherlands), SpringerLink (Online service), Eekelen, M. v., Geuvers, H., Schmaltz, J., & Wiedijk, F. (2011). Interactive theorem proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)ITP(Conference) Berg en Dal, Netherlands), SpringerLink (Online service), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, und Freek Wiedijk. Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, The Netherlands, August 22-25, 2011, Proceedings. Berlin, New York: Springer, 2011.
MLA-Zitierstil (9. Ausg.)ITP(Conference) Berg en Dal, Netherlands), et al. Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, The Netherlands, August 22-25, 2011, Proceedings. Springer, 2011.