1st International Symposium on Leveraging Applications of Formal Methods, AISoLA 2023
- Breathnach, C. (Co-Convenor of Panel)
- Tiziana Margaria (Co-Convenor of Panel)
Activity: Participating in or organising an event › Participating in a conference, workshop, ...