Margarida Ferreira

Unit Automated Reasoning and Software Reliability (ARSR) Role Early Stage Researcher Affiliation Instituto Superior Técnico Degree Mestrado Pos Bolonha ORCID https://orcid.org/0000-0002-1170-5124 Extension 2387 Room 328A Email margaridaacferreira(at)inesc-id.pt