Lúcio Ferrão
General Info
| Group | Automated Reasoning and Software Reliability (ARSR) |
| Role in INESC-ID | External Collaborator |
| Entity | Nenhuma |
| Degree | Doutoramento |
Contacts
| Phone | 213100300 (Portugal +351) |
| lucio.ferrao(at)gmail.com |
| Group | Automated Reasoning and Software Reliability (ARSR) |
| Role in INESC-ID | External Collaborator |
| Entity | Nenhuma |
| Degree | Doutoramento |
| Phone | 213100300 (Portugal +351) |
| lucio.ferrao(at)gmail.com |