| Date of Award | 31 Jan 2008 |
|---|---|
| Original language | English |
| Supervisor | H. Zantema (Supervisor 1) |
Proving termination of imperative programs through term rewriting systems
Student thesis: Master