Return to Article Details Facilitating the Verification of Diffusing Computations and Their Applications Download Download PDF