Tecniche di isolamento per gli edifici industriali: il nuovo manuale tecnico di ANIT