Lista de

Braberman, Víctor Adrián
11
2025
2
Cairo, Emiliano. (2025). "Traducción automática de especificaciones en Spectra a modelos FSP". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Felgueras, Sebastián. (2025). "Mejoras al algoritmo composicional de síntesis de controladores para problemas GR(1)". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.