From Verification to Causality-Based Explications
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Plenarvortrag (Keynote) › Eingeladen
Personen und Einrichtungen
Datum
18 Juli 2021
Konferenz
| Titel | Verification Mentoring Workshop VMW'21 Satellite event of CAV'21 |
|---|---|
| Dauer | 18 Juli 2021 |
| Webseite | |
| Stadt | Los Angelos, US (online) |
| Land | USA/Vereinigte Staaten |