ד"ר הדר פרנקל
תחומי עניין
Formal verification of software and hardware; verification for security, knowledge and causality; temporal logics & automata
אתר אישי
תאריך עדכון אחרון : 10/04/2024