Viviana de Brito Bernardo

Unit Automated Reasoning and Software Reliability (ARSR) Role Intern Affiliation Instituto Superior Técnico Degree Licenciatura Pos Bolonha Phone 214233508 (Portugal +351) Room 320 Email vivianabernardo(at)inesc-id.pt