Characterization of Annular Cement Permeability of a Logged Well Section Using Pressure–Pulse Decay Measurements | Synapse