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)}
}