Carolina Parada

Unit Automated Reasoning and Software Reliability (ARSR) Role Intern Degree Mestrado Pos Bolonha ResearcherID J8421756kACp Extension 2394 Room 320 Email carolina.parada(at)inesc-id.pt