Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Teses
supervisionadas

Teses supervisionadas por Eduardo Brandão Marques

Software Verification and Defect Analysis

Autor Claudio Filipe Belo Silva Lourenço

Grau PhD

Ano 2015

Instituição UM

  • 2
  • 2