Lista de

Elbaum, Sebastián
1
2015
1
Rosner, Nicolás Leandro. (2015). "Técnicas distribuídas para verificación acotada eficiente". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.