| Original language | English |
|---|---|
| Title of host publication | Informal Proceedings of the Workshop on User Interfaces for Theorem Provers (Eindhoven, The Netherlands, July 13-15, 1998) |
| Editors | R.C. Backhouse |
| Place of Publication | Eindhoven |
| Publisher | Technische Universiteit Eindhoven |
| Pages | 50-58 |
| Publication status | Published - 1998 |
Publication series
| Name | Computing Science Reports |
|---|---|
| Volume | 98/08 |
| ISSN (Print) | 9432-0101 |