Skip to content Skip to footer

From Verification to Causality-Based Explications

Activity: Talk or presentation at external institutions/eventsKeynoteInvited

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

Research priority areas of TU Dresden

    DFG Classification of Subject Areas according to Review Boards

    Subject groups, research areas, subject areas according to Destatis