doron peled

פרופ' דורון פלד

סגל אקדמי

03-5318765 / 03-7384056
חדר 226 / בניין 216
שעות קבלת קהל
סמסטר א' וב': יום ג' 16:00-15:00. בתיאום בלבד.

תחומי מחקר

Proof of correctness of hardware systems and software Automatic proof, tests of logic systems and formal languages(38)

פרסומים