Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
2025
Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
2023
Molecular Logic and Computational Synthetic Biology Molecular Logic and Computational Synthetic Biology
2019