Total displayed: 2
Order by:
- ArcticTern: Automated Code Migration
Afonso Miguel Oliveira de Sousa Ribeiro
Vasco Manquinho (advisor)
Miguel Ventura (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2021 - Program Synthesis with Formal Methods for outsystems language
Rodrigo André Moreira Bernardo
Inês Lynce (advisor)
Miguel Ventura (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2018