Docentföreläsningar
To 6 november
-
Docentföreläsningar
torsdag 2025-11-06, 11.00 - 12.00
Medverkande: Hamed Nemati
Plats: D3, Lindstedtsvägen 5
Videolänk: Zoom
2025-11-06T11:00:00.000+01:00 2025-11-06T12:00:00.000+01:00 Sound Leakage Contracts for Reliable Formal Verification (Docentföreläsningar) D3, Lindstedtsvägen 5 (KTH, Stockholm, Sweden)Sound Leakage Contracts for Reliable Formal Verification (Docentföreläsningar)