| Date of Award | 2002 |
|---|---|
| Original language | English |
| Supervisor | Pierre Yves Schobbens (Supervisor) |
Automata oriented program verification
Student thesis: Master types › Master in Computer science
Student thesis: Master types › Master in Computer science
| Date of Award | 2002 |
|---|---|
| Original language | English |
| Supervisor | Pierre Yves Schobbens (Supervisor) |