José Fragoso Santos

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleResearcher
AffiliationInstituto Superior Técnico
DegreeDoutoramento

Phone213100363 (Portugal +351)
Extension2363
Room334
Emailjose.fragoso(at)inesc-id.pt