APA Style

Urban, C., Zhang, X. (2015). Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings . : .

MLA Style

Urban, Christian., Zhang, Xingyuan. "Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings". : , 2015. Text.