%0 Journal Article %1 journals/jlap/OweF22 %A Owe, Olaf %A Fazeldehkordi, Elahe %D 2022 %J J. Log. Algebraic Methods Program. %K dblp %P 100772 %T A lightweight approach to smart contracts supporting safety, security, and privacy. %U http://dblp.uni-trier.de/db/journals/jlap/jlap127.html#OweF22 %V 127

@article{journals/jlap/OweF22, added-at = {2022-06-13T00:00:00.000+0200}, author = {Owe, Olaf and Fazeldehkordi, Elahe}, biburl = {https://www.bibsonomy.org/bibtex/284a0069254f70c1fe1ff68da7c2aa0f2/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2022.100772}, interhash = {5cd33060331a331c8cc70754628940a2}, intrahash = {84a0069254f70c1fe1ff68da7c2aa0f2}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = 100772, timestamp = {2024-04-09T05:08:13.000+0200}, title = {A lightweight approach to smart contracts supporting safety, security, and privacy.}, url = {http://dblp.uni-trier.de/db/journals/jlap/jlap127.html#OweF22}, volume = 127, year = 2022 }