Modular Verification of Collaborating Smart Contracts. - Christian Bräm; Marco Eilers; Peter Müller 001; Robin Sierra; Alexander J. Summers (CoRR, 2021)

Rich specifications for Ethereum smart contract verification. - Christian Bräm; Marco Eilers; Peter Müller 001; Robin Sierra; Alexander J. Summers (Proc. ACM Program. Lang., 2021)