Abstract
| Date of Award | 31 Aug 1999 |
|---|---|
| Original language | English |
| Supervisor | C. (Kees) Hemerik (Supervisor 1) & Jan Zwanenburg (Supervisor 2) |
A graphical user interface for the proof assistant yarrow
Student thesis: Master