%0 Conference Paper %1 conf/ntms/Arias19 %A Arias, Emilio Jesús Gallego %B NTMS %D 2019 %I IEEE %K dblp %P 1-5 %T Towards Principled Compilation of Ethereum Smart Contracts (SoK). %U http://dblp.uni-trier.de/db/conf/ntms/ntms2019.html#Arias19 %@ 978-1-7281-1542-9

@inproceedings{conf/ntms/Arias19, added-at = {2019-07-25T00:00:00.000+0200}, author = {Arias, Emilio Jesús Gallego}, biburl = {https://www.bibsonomy.org/bibtex/2734894fa64f515a11aa37580167af1ca/dblp}, booktitle = {NTMS}, crossref = {conf/ntms/2019}, ee = {https://doi.org/10.1109/NTMS.2019.8763856}, interhash = {dc40462e73888624994a63addceec1b9}, intrahash = {734894fa64f515a11aa37580167af1ca}, isbn = {978-1-7281-1542-9}, keywords = {dblp}, pages = {1-5}, publisher = {IEEE}, timestamp = {2019-10-17T21:59:44.000+0200}, title = {Towards Principled Compilation of Ethereum Smart Contracts (SoK).}, url = {http://dblp.uni-trier.de/db/conf/ntms/ntms2019.html#Arias19}, year = 2019 }