Skip to main navigation Skip to search Skip to main content

Logic-based Software Modeling

Translated title of the thesis: מידול תוכנה מבוסס לוגיקה
  • Igal Khitron

    Student thesis: Doctoral Thesis

    Date of Award2022
    Original languageHebrew
    Awarding Institution
    • Ben-Gurion University of the Negev
    SupervisorMiriam Balaban (Supervisor) & Gera Weiss (Supervisor)

    Cite this

    '