Miguel Silva Reis

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleIntern
AffiliationInstituto Superior Técnico
DegreeMestrado Pos Bolonha

Phone21000000 (Portugal +351)
Extension2387
Room3250328A
Emailmiguel.s.reis(at)inesc-id.pt