Interactive Theorem Proving : 5th International Conference, ITP 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-1

by Gerwin Klein, Ruben Gamboa Paperback 2014