Juan Pablo Galeotti
Original record- Institution
- Universidad de Buenos Aires
- Year
- 2010
- Country
- Argentina
- MGP identifier
- 315281
Dissertation: Software Verification using Alloy
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Marcelo Fabián FriasPontifícia Universidade Católica do Rio de Janeiro · 1998
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Ivan Arcuschin Moreno | Universidad de Buenos Aires | 2024 | 0 |