Ricostruzione topologica e validazione automatica della congruenza idraulica di schemi acquedottistici di adduzione informatizzati