Home

Daniel Rosa Ramos

Unit	Automated Reasoning and Software Reliability (ARSR)
Role	Early Stage Researcher
Affiliation	R - INESC-ID Lisboa
Degree	Mestrado Pos Bolonha

});