Journal of Automated Reasoning, Volume 61

Volume 61, Numbers 1-4, June 2018

Special Issue: Milestones in Interactive Theorem Proving
a service of Schloss Dagstuhl - Leibniz Center for Informatics