ITP 2016. (2016). Interactive theorem proving: 7th international conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)ITP 2016. Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : Proceedings. [Cham]: Springer, 2016.
MLA-Zitierstil (9. Ausg.)ITP 2016. Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : Proceedings. Springer, 2016.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.