| Date of Award | 2004 |
|---|---|
| Original language | English |
| Awarding Institution |
|
| Supervisor | Baudouin LE CHARLIER (Supervisor), Wim Vanhoof (Jury), Radhia COUSOT (Jury), Agostino CORTESI (Jury), Jean-Luc Hainaut (Jury) & Pierre Yves Schobbens (Jury) |
On the design of some operations to combine domains for abstract interpretation
Student thesis: Doc types › Doctor of Sciences