{"_id":"jKoggL65mx4uxzzSp","bibbaseid":"lahiri-chen-wang-dillig-formalspecificationandverificationofsmartcontractsforazureblockchain-2018","author_short":["Lahiri, S. K.","Chen, S.","Wang, Y.","Dillig, I."],"bibdata":{"bibtype":"article","type":"article","title":"Formal Specification and Verification of Smart Contracts for Azure Blockchain","journal":"arXiv preprint arXiv:1812.08829","author":[{"propositions":[],"lastnames":["Lahiri"],"firstnames":["Shuvendu","K."],"suffixes":[]},{"propositions":[],"lastnames":["Chen"],"firstnames":["Shuo"],"suffixes":[]},{"propositions":[],"lastnames":["Wang"],"firstnames":["Yuepeng"],"suffixes":[]},{"propositions":[],"lastnames":["Dillig"],"firstnames":["Isil"],"suffixes":[]}],"year":"2018","keywords":"⛔ No DOI found","bibtex":"@article{lahiri_formal_2018,\n\ttitle = {Formal {Specification} and {Verification} of {Smart} {Contracts} for {Azure} {Blockchain}},\n\tjournal = {arXiv preprint arXiv:1812.08829},\n\tauthor = {Lahiri, Shuvendu K. and Chen, Shuo and Wang, Yuepeng and Dillig, Isil},\n\tyear = {2018},\n\tkeywords = {⛔ No DOI found},\n}\n\n","author_short":["Lahiri, S. K.","Chen, S.","Wang, Y.","Dillig, I."],"key":"lahiri_formal_2018","id":"lahiri_formal_2018","bibbaseid":"lahiri-chen-wang-dillig-formalspecificationandverificationofsmartcontractsforazureblockchain-2018","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["formal","specification","verification","smart","contracts","azure","blockchain","lahiri","chen","wang","dillig"],"title":"Formal Specification and Verification of Smart Contracts for Azure Blockchain","year":2018}