David Ferreira Coimbra

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleEarly Stage Researcher
AffiliationInesc-ID
DegreeMestrado Pos Bolonha

Emaildavid.coimbra(at)inesc-id.pt