{"_id":"TfZ2pt3tuFfwnFSD3","bibbaseid":"xia-systemandmethodorientedtosupermaticformalverificationofsmartcontractofblockchain-2018","author_short":["Xia, Y."],"bibdata":{"bibtype":"book","type":"book","title":"System and method oriented to supermatic formal verification of smart contract of blockchain","author":[{"propositions":[],"lastnames":["Xia"],"firstnames":["Yang"],"suffixes":[]}],"year":"2018","bibtex":"@book{xia_system_2018,\n\ttitle = {System and method oriented to supermatic formal verification of smart contract of blockchain},\n\tauthor = {Xia, Yang},\n\tyear = {2018},\n}\n\n","author_short":["Xia, Y."],"key":"xia_system_2018","id":"xia_system_2018","bibbaseid":"xia-systemandmethodorientedtosupermaticformalverificationofsmartcontractofblockchain-2018","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"book","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["system","method","oriented","supermatic","formal","verification","smart","contract","blockchain","xia"],"title":"System and method oriented to supermatic formal verification of smart contract of blockchain","year":2018}