Andreia Guerreiro

Unit Automated Reasoning and Software Reliability (ARSR) Role Researcher Affiliation R - INESC-ID Lisboa Degree Doutoramento ORCID https://orcid.org/0000-0003-0757-2709 Phone 213100300 (Portugal +351) Extension 334 Email andreia.guerreiro(at)inesc-id.pt