Manuel A. Martins

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

Recent Trends in Algebraic Development Techniques

Molecular Logic and Computational Synthetic Biology