Mariana Brandão

Unit Automated Reasoning and Software Reliability (ARSR) Role Intern Degree Licenciatura Pos Bolonha Extension 2312 Room 408 /320 Email marianawbrandao(at)inesc-id.pt