Automata oriented program verification

  • Bertrand Grégoire

    Student thesis: Master typesMaster in Computer science

    Abstract

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

    Cite this

    '