Stima del danno sismico di porti marittimi attraverso la tecnologia GIS: il caso del porto di Salerno