Docent lectures
Thu 06 November
-
Docent lectures
Thursday 2025-11-06, 11:00 - 12:00
Participating: Hamed Nemati
Location: D3, Lindstedtsvägen 5
Video link: Zoom
2025-11-06T11:00:00.000+01:00 2025-11-06T12:00:00.000+01:00 Sound Leakage Contracts for Reliable Formal Verification (Docent lectures) D3, Lindstedtsvägen 5 (KTH, Stockholm, Sweden)Sound Leakage Contracts for Reliable Formal Verification (Docent lectures)