Formal Specification Technique in Smart Contract Verification[C] 2019 INTERNATIONAL CONFERENCE ON PLATFORM TECHNOLOGY AND SERVICE (PLATCON) 2019 Lee, Seung-Min Park, Soojin Park, Young B.
