Juan José Sánchez Penas
Original record- Institution
- Universidade da Coruña
- Year
- 2006
- Country
- Spain
- MGP identifier
- 294274
Dissertation: From software architecture to formal verification of a distributed system
Advisors 2
- Victor Manuel Gulías FernándezInstitution not recorded
- Thomas ArtsUniversiteit Utrecht · 1997
Students 0
No students recorded in this snapshot.