On 17 november
-
17novEventsonsdag 2021-11-17, 14.00 - 15.00Föreläsare: Professor David Basin, ETH ZürichPlats: Online or onsite at Digital Futures hub, Osquars Backe 5, floor 2 at KTH main campus2021-11-17T14:00:00.000+01:00 2021-11-17T15:00:00.000+01:00 Gästföreläsning: Robbing the Bank with a Model Checker med David Basin, ETH Zürich (Events) Online or onsite at Digital Futures hub, Osquars Backe 5, floor 2 at KTH main campus (KTH, Stockholm, Sweden)Gästföreläsning: Robbing the Bank with a Model Checker med David Basin, ETH Zürich (Events)