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