Lista de

Braberman, Víctor Adrián
9
2015
1
Chojrin, Mauro; Cecconi, Pablo. (2015). "Verificación de sistemas críticos a partir de trazas de ejecución usando VTS". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.