Simpler proofs with decentralized invariants

Jean-Christophe Filliâtre. Simpler proofs with decentralized invariants. J. Log. Algebr. Meth. Program., 121:100645, 2021. [doi]

Abstract

Abstract is missing.