publicações selecionadas
-
artigo académico
- Experiences on teaching Alloy with an automated assessment platform. International Journal on Software Tools for Technology Transfer. 2021
- The impact of polytechnic institutes on the local economy. Tertiary Education and Management. 2015
-
artigo de conferência
- Verification of system-wide safety properties of ROS applications. IEEE International Conference on Intelligent Robots and Systems. 2020
-
capítulo de livro
- Experiences on Teaching Alloy with an Automated Assessment Platform. International Journal on Software Tools for Technology Transfer. 2020
-
documento