Eberl, Manuel http://orcid.org/0000-0002-4263-6571
Haslbeck, Max W. http://orcid.org/0000-0002-9900-5746
Nipkow, Tobias http://orcid.org/0000-0003-0730-515X
Conference Information
Conference Acronym: ITP
Conference Name: International Conference on Interactive Theorem Proving
Conference City: Oxford
Conference Country: United Kingdom
Conference Year: 2018
Conference Start Date: 9 July 2018
Conference End Date: 12 July 2018
Conference Number: 9
Conference ID: itp2018
Conference URL: https://itp2018.inria.fr/