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

  • Benoît Pierard

    Thèse de l'étudiant: Master typesMaster en informatique

    Résumé

    Date de réussite1997
    langueFrançais
    SuperviseurBaudouin Le Charlier (Promoteur)

    Citer ceci

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

    Thèse de l'étudiant: Master typesMaster en informatique