Automata oriented program verification

  • Bertrand Grégoire

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

    Résumé

    la date de réponse2002
    langue originaleAnglais
    SuperviseurPIERRE-YVES SCHOBBENS (Promoteur)

    Contient cette citation

    '