Manuel A. Martins profile picture

Manuel A. Martins

Software Engineering and Formal Methods: SEFM 2024 Collocated Workshops ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
Dynamic Logic. New Trends and Applications Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
Recent Trends in Algebraic Development Techniques