Gabor Madl, Luis Angel D. Bathen, German H. Flores, Divyesh Jadav. Formal Verification of Smart Contracts Using Interface Automata. In IEEE International Conference on Blockchain, Blockchain 2019, Atlanta, GA, USA, July 14-17, 2019. pages 556-563, IEEE, 2019. [doi]
Abstract is missing.