Reading Length
Home
Speed Tests
Login
Geguang Pu
Identifiers
Open Library
OL9711032A
Top Subjects
Automatic theorem proving (1)
Books by Geguang Pu
Total count: 1
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Springer International Publishing AG
2015-01-01
