Volume 61, Issue 1-4, June 2018

Special Issue: Milestones in Interactive Theorem Proving

Issue Editors:

ISSN: 0168-7433 (Print) 1573-0670 (Online)

In this issue (14 articles)