Home

André Mendes

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

});