ד"ר הדר פרנקל
דוא"ל
hadar.frenkel@biu.ac.il
משרד
Building 503 room 318
תחומי עניין
Formal verification of software and hardware; verification for security, knowledge and causality; temporal logics & automata
אתר אישי
תאריך עדכון אחרון : 08/01/2025
