| Date of Award | 31 Oct 1990 |
|---|---|
| Original language | English |
| Supervisor | C.J. Koomen (Supervisor 1) & P.J. de Graaff (Supervisor 2) |
Specification and derivation of digital circuits using higher-order logic
Student thesis: Master