ד"ר יוני זוהר
דוא"ל
yoni.zohar@biu.ac.il
משרד
בניין 216 חדר 3
תחומי עניין
Satisfiability Modulo Theories , Automated Reasoning
שעות קבלה
בתיאום מראש
אתר אישי
תאריך עדכון אחרון : 19/04/2023
