On the design of some operations to combine domains for abstract interpretation

  • Christophe Leclère

Student thesis: Doc typesDocteur en Sciences

la date de réponse2004
langue originaleAnglais
L'institution diplômante
  • Universite de Namur
SuperviseurBaudouin LE CHARLIER (Promoteur), Wim Vanhoof (Jury), Radhia COUSOT (Jury), Agostino CORTESI (Jury), Jean-Luc Hainaut (Jury) & Pierre Yves Schobbens (Jury)

Contient cette citation

'