Rodrigo André Moreira Bernardo

Unit Automated Reasoning and Software Reliability (ARSR) Role Intern Affiliation Instituto Superior Técnico Degree Mestrado Pos Bolonha Phone 21000000 (Portugal +351) Extension 2326 Room 328A Email rodrigo.bernardo(at)inesc-id.pt