Interprétation Abstraite : Analyse de Mode au moyen de Formules Logiques

  • Jean-Pierre Nelissen

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award1991
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorBaudouin Le Charlier (Supervisor)

Cite this

Interprétation Abstraite : Analyse de Mode au moyen de Formules Logiques
Nelissen, J. (Author). 1991

Student thesis: Master typesMaster in Computer science