Rohit Gheyi
Original record- Institution
- Universidade Federal de Pernambuco, Recife
- Year
- 2007
- Country
- Brazil
- MGP identifier
- 198541
Dissertation: A Refinement Theory for Alloy
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Paulo Henrique Monteiro BorbaUniversity of Oxford · 1995
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Flávio Medeiros | Universidade Federal de Campina Grande | 2016 | 0 |
| Felipe Barros Pontes | Universidade Federal de Campina Grande | 2020 | 0 |
| Leopoldo Motta Teixeira | Universidade Federal de Pernambuco, Recife | 2014 | 0 |