Rui Diogo Tomás Lima

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

Emailrui.tomas.lima(at)inesc-id.pt