Consolidating Smart Contracts with Behavioral Contracts

Open Webpage

Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, Zhuo Zhang

Published: 01 Jan 2024, Last Modified: 23 Jul 2025Proc. ACM Program. Lang. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0