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

03-5318765 / 03-7384056

בניין 216 חדר 226

doronp@cs.biu.ac.il

לאתר האישי

שעות קבלת קהל

סמסטר א' וב': יום ג' 16:00-15:00. בתיאום בלבד.

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