Programa de la asignatura

Verficación de Programas Secuenciales y Concurrentes. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación

Si tiene alguna pregunta sobre los programas, comuníquese a consultas@bl.fcen.uba.ar