André Mendes

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleEarly Stage Researcher
AffiliationR - INESC-ID Lisboa
DegreeLicenciatura Pos Bolonha

Phone213100300 (Portugal +351)
Room328A
Emailandre.a.mendes(at)inesc-id.pt