Compis en #Verificación de Programas y Computabilidad