Facilitating the Verification of Diffusing Computations and Their Applications | Publicación