A Formally Verified Static Analysis Framework for Compositional Contracts.

Published in: Financial Cryptography Workshops (2020)

Keyphrases