Henrique Botelho Guerra

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleEarly Stage Researcher
DegreeLicenciatura Pos Bolonha

Extension2313
Room320
Emailhenrique.b.guerra(at)inesc-id.pt