The sharing tree data structure:

: theory and applications in formal verification

  • Denis Zampunieris

    Student thesis: Doc typesDoctor of Sciences

    Abstract

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

    Cite this

    The sharing tree data structure:: theory and applications in formal verification
    Zampunieris, D. (Author). 1997

    Student thesis: Doc typesDoctor of Sciences