| Original language | English (Ireland) |
|---|---|
| Publication status | Published - 26 Oct 2023 |
| Event | 1st International Symposium on Leveraging Applications of Formal Methods, AISoLA 2023 - Crete, Greece Duration: 23 Oct 2023 → 28 Oct 2023 |
Conference
| Conference | 1st International Symposium on Leveraging Applications of Formal Methods, AISoLA 2023 |
|---|---|
| Country/Territory | Greece |
| City | Crete |
| Period | 23/10/23 → 28/10/23 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver