Prof. Doron Peled
טלפון
דוא"ל
doronp@cs.biu.ac.il
משרד
building 216 room 226
תחומי עניין
Proof of correctness of hardware systems and software Automatic proof, tests of logic systems and formal languages
שעות קבלה
By appointment
Last Updated Date : 08/01/2024