The sharing tree data structure:
: theory and applications in formal verification

  • Denis Zampunieris

    Student thesis: Doc types › Doctor of Sciences

    Date of Award1997
    Original languageEnglish
    SupervisorJean-Marie Jacquet (Supervisor)

    Cite this

    '