Original language | English (US) |
---|---|
Pages (from-to) | 1-3 |
Number of pages | 3 |
Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
Volume | 167 |
DOIs | |
State | Published - Oct 29 2014 |
Event | 11th Workshop on User Interfaces for Theorem Provers, UITP 2014 - Vienna, Austria Duration: Jul 17 2014 → … |
ASJC Scopus subject areas
- Software