Rui Diogo Tomás Lima

General Info

Group	Automated Reasoning and Software Reliability (ARSR)
Role in INESC-ID	Intern
Degree	Mestrado Pos Bolonha

Contacts

Email

rui.tomas.lima(at)tecnico.ulisboa.pt