Verification Meets Causality
Activity: Talk or presentation at external institutions/events › Keynote › Invited
Persons and affiliations
Date
30 Oct 2024
Conference
| Title | International Symposium on Leveraging Applications of Formal Methods, Verification and Validation 2024 |
|---|---|
| Abbreviated title | ISoLA 2024 |
| Duration | 27 - 31 October 2024 |
| Website | |
| Degree of recognition | International event |
| Location | Aldemar Knossos Royal resortjavascript:void(0); |
| City | Kreta |
| Country | Greece |