![](/sites/cs/files/styles/square_470x470/public/images/person/%D7%94%D7%99%D7%9C%D7%94%20%D7%A4%D7%A8%D7%A0%D7%A7%D7%9C%20%D7%A1%D7%92%D7%9C.jpg?itok=wSXVwXBD)
ד"ר הדר פרנקל
תחומי עניין
Formal verification of software and hardware; verification for security, knowledge and causality; temporal logics & automata
אתר אישי
תאריך עדכון אחרון : 10/04/2024