Vérification automatique de programmes Prolog basée sur l'interprétation abstraite

  • Benoît Pierard

    Student thesis: Master typesMaster of Computer science

    Abstract

    Date of Award1997
    LanguageFrench
    SupervisorBaudouin Le Charlier (Supervisor)

    Cite this

    Vérification automatique de programmes Prolog basée sur l'interprétation abstraite
    Pierard, B. (Author). 1997

    Student thesis: Master typesMaster of Computer science