Rui Abreu

Unit Automated Reasoning and Software Reliability (ARSR) Role Researcher Degree Agregação ORCID https://orcid.org/0000-0003-3734-3157 Phone 213100300 (Portugal +351) Extension 2341 Room 328B Email rui.maranhao(at)inesc-id.pt Personal Page http://ruimaranhao.com/