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