Rui Abreu

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleResearcher
DegreeAgregação
ORCIDhttps://orcid.org/0000-0003-3734-3157

Phone213100300 (Portugal +351)
Extension2341
Room328B
Emailrui.maranhao(at)inesc-id.pt
Personal Pagehttp://ruimaranhao.com/