Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Teses
supervisionadas

Teses supervisionadas por Maria João Frade

Correct Translation of Imperative Programs to Single Assignment Form

Autor Marta Vasconcelos Castro Azevedo

Grau MSc

Ano 2016

Instituição UM

AuTGen-C: uma plataforma para geração de testes com base no CBMC

Autor Fábio Esteves Sousa

Grau MSc

Ano 2015

Instituição UM