la date de réponse | 2004 |
---|---|
langue originale | Anglais |
L'institution diplômante |
|
Superviseur | Baudouin LE CHARLIER (Promoteur), 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 › Docteur en Sciences