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

  • Jean-Pierre Nelissen

Student thesis: Master typesMaster in Computer science

Date of Award1991
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorBaudouin LE CHARLIER (Supervisor)

Cite this

'