יוצגו תוצאות חדישות וכיווני מחקר נוכחיים בשיטות אימות פורמליות.

פקולטה: מדעי המחשב
|תארים מתקדמים