Linker, S., Burton, J. & Jamnik, M.,
25/01/2017,
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers UITP 2016. Autexier, S. & Quaresma, P. (eds.).
EPTCS,
p. 29-42 14 p. (EPTCS; vol. 239).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review