Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christian Urban, Xingyuan Zhang, editors, Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. Volume 9236 of Lecture Notes in Computer Science, Springer, 2015. [doi]

Conference: itp2015

This author has not been identified. Look up 'Christian Urban' in GoogleThis author has not been identified. Look up 'Xingyuan Zhang' in Google

runs on WebDSL