José Carmo
Ph.D. Universidade Técnica de Lisboa 1988
Dissertation:
Lógicas Temporais para a Especificação e Verificação de Sistemas de Informação
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor: Amílcar Sernadas
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Li, Renwei | Universidade Técnica de Lisboa | 1993 |
According to our current on-line database, José Carmo has 1 student and 1 descendant.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 111263 for the advisor ID.