Andreia Guerreiro

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleResearcher
AffiliationR - INESC-ID Lisboa
DegreeDoutoramento
ORCIDhttps://orcid.org/0000-0003-0757-2709

Phone213100300 (Portugal +351)
Extension334
Emailandreia.guerreiro(at)inesc-id.pt