English
Unordered
Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
Gerwin Klein (auth.),Matt Kaufmann,Lawrence C. Paulson (eds.)
2010
View book