ד"ר יוני זוהר ד"ר הדר פרנקל פרופ' דורון פלד Lab Website תחומי מחקר Formal Methods -FM@BIU תאריך עדכון אחרון : 27/06/2024
