Home

Diogo Couceiro

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

});