Verificações de secção para barras de aço formadas a frio de acordo com a EN 1993-1-3 Função do programa