João Rocha

Unit Automated Reasoning and Software Reliability (ARSR) Role Early Stage Researcher Degree Aluno de Graduação ORCID https://orcid.org/0000-0001-8594-6185 Extension 2313 Email joao.tfrocha(at)inesc-id.pt