מידע כללי General Information Общая Информация معلومات عامة

Credit points: 2

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

the course addresses updated results and current research directions in formal verification methods.