Lista de

Técnicas Algorítmicas para la Verificación de Programas
1
Técnicas Algorítmicas para la Verificación de Programas (2012). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación