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

  • Christophe Leclère

Student thesis: Doc typesDoctor of Sciences

Abstract

Date of Award2004
Original languageEnglish
Awarding Institution
  • University of Namur
SupervisorBaudouin LE CHARLIER (Supervisor), Wim VANHOOF (Jury), Radhia COUSOT (Jury), Agostino CORTESI (Jury), Jean-Luc HAINAUT (Jury) & PIERRE-YVES SCHOBBENS (Jury)

Cite this

'