Home

André Mendes

Unit	Automated Reasoning and Software Reliability (ARSR)
Role	Early Stage Researcher
Affiliation	Inesc-ID
Degree	Licenciatura Pos Bolonha

});