Ricardo Brancas

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

Extension2341
Room328A
Emailricardo.brancas(at)inesc-id.pt
Personal Pagehttps://www.ricardobrancas.com/