ד"ר יוני זוהר

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

Satisfiability Modulo Theories , Automated Reasoning

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

    תאריך עדכון אחרון : 03/04/2024