Skip to content Skip to footer

From Verification to Causality-Based Explications

Activity: Talk or presentation at external institutions/events › Keynote › Invited

Persons and affiliations

Date

18 Jul 2021

Conference

Title33rd International Conference on Computer-Aided Verification
Abbreviated titleCAV 2021
Duration18 - 24 July 2021
Website
Degree of recognitionInternational event
Locationonline

Keywords

DFG Classification of Subject Areas according to Review Boards

Subject groups, research areas, subject areas according to Destatis