iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements.

Pengcheng Fang, Zhenhua Zou, Xusheng Xiao, Zhuotao Liu

Browse the full ISSTA paper archive.