SPESC: A Specification Language for Smart Contracts.

Xiao He, Bohan Qin, Yan Zhu, Xing Chen, Yi Liu

Browse the full COMPSAC paper archive.