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

TitleVerification Mentoring Workshop VMW'21 Satellite event of CAV'21
Duration18 July 2021
Website
CityLos Angelos, US (online)
CountryUnited States of America

Keywords

DFG Classification of Subject Areas according to Review Boards

Subject groups, research areas, subject areas according to Destatis