Lista de

D'Argenio, Pedro Rubén
7
2018
2
Castaño, Rodrigo. (2018). "Análisis de ejecuciones parciales de Software Model Checkers". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Vissani, Ignacio. (2018). "Aspectos formales de un modelo de ejecución orientada a servicios". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.