Patrícia Roxo

Unit Automated Reasoning and Software Reliability (ARSR) Role Intern Degree Mestrado Pos Bolonha Extension 2313 Room 320 Email patricia.tenera.roxo(at)inesc-id.pt