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

  • Benoît Pierard

    Student thesis: Master typesMaster in Computer science

    Abstract

    Date of Award1997
    Original languageFrench
    SupervisorBaudouin LE CHARLIER (Supervisor)

    Cite this

    '