Omar Inverso
Original record- Institution
- University of Southampton
- Year
- 2015
- Country
- United Kingdom
- MGP identifier
- 276502
Dissertation: Bounded model checking of multi-threaded programs via sequentialization
Advisor 1
- Gennaro ParlatoUniversità di Salerno · 2006
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Luca Di Stefano | Gran Sasso Science Institute | 2020 | 0 |
| Stella Simic | IMT Institute for Advanced Studies, Lucca | 2022 | 0 |