×
  • Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

    Jasmin Christian Blanchette

Click on cover to enlarge.
Buy This Book
From Amazon.