Abstract
| Date of Award | 31 Aug 1984 |
|---|---|
| Original language | English |
| Supervisor | N.G. (Dick) de Bruijn (Supervisor 1) & H. Balsters (Supervisor 2) |
An interactive program for checking the correctness of expressions in AUT-SL
Student thesis: Master