Events
Wed 17 November
-
Events
Wednesday 2021-11-17, 14:00 - 15:00
Participating: Professor David Basin, ETH Zurich
Location: Online or onsite at Digital Futures hub, Osquars Backe 5, floor 2 at KTH main campus
2021-11-17T14:00:00.000+01:00 2021-11-17T15:00:00.000+01:00 Guest lecture: Robbing the Bank with a Model Checker with David Basin, ETH Zurich (Events) Online or onsite at Digital Futures hub, Osquars Backe 5, floor 2 at KTH main campus (KTH, Stockholm, Sweden)Guest lecture: Robbing the Bank with a Model Checker with David Basin, ETH Zurich (Events)