Filipe Marques

Unit Automated Reasoning and Software Reliability (ARSR) Role Early Stage Researcher Degree Mestrado Pos Bolonha Extension 2313 Room 320 Email filipe.s.marques(at)inesc-id.pt