Rafael Alexandre da Silva Prates

Unit Automated Reasoning and Software Reliability (ARSR) Role Intern Degree Licenciatura Pos Bolonha Email rafaelprates(at)inesc-id.pt