From Verification to Causality-Based Explications

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Plenarvortrag (Keynote) › Eingeladen

Personen und Einrichtungen

18 Juli 2021

Titel	33rd International Conference on Computer-Aided Verification
Kurztitel	CAV 2021
Dauer	18 - 24 Juli 2021
Webseite	https://ucl-pplv.github.io/CAV21
Bekanntheitsgrad	Internationale Veranstaltung
Ort	online