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

  • Christophe Leclère

Student thesis: Doc typesDocteur en Sciences

Résumé

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

'