Lista de

Verificación de Programas Secuenciales y Concurrentes
1
Verificación de Programas Secuenciales y Concurrentes (2003). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación