Jorge dos Santos Oliveira
General Info
Group | Automated Reasoning and Software Reliability (ARSR) |
Role in INESC-ID | Researcher |
Entity | Inesc-ID |
Degree | Doutoramento |
Contacts
Extension | 2324 |
Room | 435 |
jorge.oliveira(at)ist.utl.pt |
Group | Automated Reasoning and Software Reliability (ARSR) |
Role in INESC-ID | Researcher |
Entity | Inesc-ID |
Degree | Doutoramento |
Extension | 2324 |
Room | 435 |
jorge.oliveira(at)ist.utl.pt |