publicações selecionadas
-
artigo académico
- Experiences on teaching Alloy with an automated assessment platform. Computational Methods in Applied Sciences. 2021
-
artigo de conferência
- Experiences on Teaching Alloy with an Automated Assessment Platform. Computational Methods in Applied Sciences. 2020
- Verification of system-wide safety properties of ROS applications. IEEE International Conference on Intelligent Robots and Systems. 2020
-
artigo de revista
- The impact of polytechnic institutes on the local economy. Tertiary Education and Management. 2015
-
livro