From Verification to Causality-Based Explications
Activity: Talk or presentation at external institutions/events › Keynote › Invited
Persons and affiliations
Date
16 Jul 2021
Conference
| Title | 48th International Colloquium on Automata, Languages, and Programming |
|---|---|
| Abbreviated title | ICALP 2021 |
| Duration | 12 - 16 July 2021 |
| Website | |
| Degree of recognition | International event |
| Location | online |
| City | Glasgow |
| Country | United Kingdom |