Constructing Trustworthy Smart Contracts.

Devora Chait-Roth, Kedar S. Namjoshi

Browse the full VMCAI paper archive.