caSPESC2Vyper: Conformant and Automatic Generation from DeFi SPESC Legal Contract to Vyper Smart Contract.

Yue Yu, Jiahui Wang, Bo Meng, Dejun Wang

Browse the full APSEC paper archive.