Modular Synthesis of Verified Verifiers of Computation with STV Algorithms | IEEE Conference Publication | IEEE Xplore