◀ Click to filter

Total displayed: 1

Order by:
  • Symbolic Execution for OutSystems Logic
    André dos Santos Martins Ribeiro
    Vasco Manquinho (advisor)
    Alexandre Lemos (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2023

Keywords

Start Year

2023 - 2023

Type

(1)
Master's Supervision

State

(1)
Concluded