Carolina Carreira

Unit Automated Reasoning and Software Reliability (ARSR) Role Early Stage Researcher Degree Licenciatura Pos Bolonha Extension 2387 Room 328A Email carolinamcarreira(at)inesc-id.pt Personal Page https://carolinacarreira.github.io/