Publications

Dissertations

MSc Theses: 1

2021

- Catarina Pina de Almeida Coelho advised by Inês Lynce and Miguel Neves, Pure Function Synthesis in the OutSystems Plataform, MSc Thesis at Instituto Superior Técnico, Jan. 2021 [bibTex]