People

Serge Autexier

Email

serge.autexier@dfki.de

Export publications Citations

Export publications BibTeX

Edited Books

2017

(1 publication)

Autexier, S. and Quaresma, P. , Proceedings of the 12th Workshop on User Interfaces for Theorem Provers , "Proceedings of the 12th Workshop on User Interfaces for Theorem Provers", vol. 239, 2017 [ DOI ]