Ricardo Brancas

Unit Automated Reasoning and Software Reliability (ARSR) Role Early Stage Researcher Affiliation R - INESC-ID Lisboa Degree Licenciatura Pos Bolonha Extension 2341 Room 328A Email ricardo.brancas(at)inesc-id.pt Personal Page https://www.ricardobrancas.com/