Reading Length
Home
Speed Tests
Login
Marko Van Eekelen
Identifiers
Open Library
OL8547456A
Books by Marko Van Eekelen
Total count: 1
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Springer
2011-09-17
