Skip to main content
Log in
Search all Journal of Automated Reasoning articles

Volume 62, Issue 2

February 2019

Special Issue: Selected Extended Papers of ITP 2016

Issue Editors:
  • Jasmin Christian Blanchette,
  • Stephan Merz
7 articles in this issue

Navigation