Application à la méthode B d'éléments de logique temporelle ATL

  • Antoine Safin

    Student thesis: Master typesMaster in Computer science

    Abstract

    Date of Award2006
    Original languageEnglish
    SupervisorPIERRE-YVES SCHOBBENS (Supervisor)

    Cite this

    '