Henrique Botelho Guerra

Unit Automated Reasoning and Software Reliability (ARSR) Role Early Stage Researcher Degree Licenciatura Pos Bolonha Extension 2313 Room 320 Email henrique.b.guerra(at)inesc-id.pt