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

'