Simpler proofs with decentralized invariants

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

Authors

Jean-Christophe Filliâtre

This author has not been identified. Look up 'Jean-Christophe Filliâtre' in Google