A Detection Method for Scarcity Defect of Blockchain Digital Asset based on Invariant Analysis[C] 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS 2022 Sun, Jinlei Huang, Song Wang, Xingya Wang, Meijuan Du, Jinhu
