Verificación de Software Programación Paralela | Apuntes, ejercicios y exámenes resueltos