Frederico Ramos

Unit Automated Reasoning and Software Reliability (ARSR) Role Early Stage Researcher Degree Licenciatura Pos Bolonha Extension 2313 Room 320 Email frederico.ramos(at)inesc-id.pt