Publications

Dissertations

MSc Theses: 1

2019

- Rodrigo André Moreira Bernardo advised by Inês Lynce and Miguel Ventura, Program Synthesis with Formal Methods for outsystems language, MSc Thesis at Instituto Superior Técnico, May. 2019 [bibTex]