ד"ר יוני זוהר

דוא"ל
yoni.zohar@biu.ac.il
משרד
בניין 216 חדר 3
תחומי עניין

Satisfiability Modulo Theories , Automated Reasoning

שעות קבלה
בתיאום מראש

    תאריך עדכון אחרון : 19/04/2023