Proceedings of the 12th Workshop on User Interfaces for Theorem Provers
@article{pub9128,
author = {
Autexier, Serge
and
Quaresma, Pedro
},
title = {Proceedings of the 12th Workshop on User Interfaces for Theorem Provers},
year = {2017},
volume = {239},
journal = {Electronic Proceedings in Theoretical Computer Science (EPTCS)}
}