◀ Click to filter

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

Keywords

Start Year

2018 - 2021

Type

(2)
Master's Thesis

State

(2)
Concluded