Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Alberto Gil Solla

Original record
Institution
Universidad de Vigo
Year
2000
Country
Spain
MGP identifier
76733

Dissertation: Diseño y verificación de sistemas distribuidos mediante la aplicación combinada de métodos formales

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy