Rafael Alexandre da Silva Prates

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleIntern
DegreeLicenciatura Pos Bolonha

Emailrafaelprates(at)inesc-id.pt