Tesis Doctoral

Castaño, Rodrigo. "Análisis de ejecuciones parciales de Software Model Checkers" . (2018). Tesis Doctoral, Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.