Daniel Rosa Ramos

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

Extension2394
Room320
Emaildrramos(at)inesc-id.pt