דלג לתוכן (מקש קיצור 's')
הלוגו של הטכניון
לוגו הפקולטה למדעי המחשב ע"ש הנרי ומרילין טאוב
אירועים

אירועים והרצאות בפקולטה למדעי המחשב ע"ש הנרי ומרילין טאוב

CS Lecture: Verification of Complex Hyperproperties
event speaker icon
הדר פרנקל
event date icon
יום ראשון, 28.01.2024, 10:30
event location icon
אודיטוריום 012, קומה 0
[בחזרה לאינדקס האירועים]