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

  • Antoine Safin

    Student thesis: Master typesMaster in Computer science

    Date of Award2006
    Original languageEnglish
    SupervisorPierre Yves Schobbens (Supervisor)

    Cite this

    '