Smifier: A Smart Contract Verifier for Composite Transactions. - Yu Dong; Yue Li 037; Dongqi Cui; Jianbo Gao; Zhi Guan; Zhong Chen 001 (SEKE, 2022)