%0 Conference Paper %1 conf/cascon/AmyotLMRAPASRMS23 %A Amyot, Daniel %A Logrippo, Luigi %A Mylopoulos, John %A Roveri, Marco %A Anda, Amal Ahmed %A Parvizimosaed, Alireza %A Alfuhaid, Sofana %A Sharifi, Sepehr %A Rasti, Aidin %A Meloche, Regan %A Sousa-Diaz, Daniel %B CASCON %D 2023 %E Shirani, Paria %E Onut, Iosif-Viorel %E Branco, Paula %I ACM %K dblp %P 235-237 %T Engineering Smart Contracts with Symboleo: A Progress Report. %U http://dblp.uni-trier.de/db/conf/cascon/cascon2023.html#AmyotLMRAPASRMS23

@inproceedings{conf/cascon/AmyotLMRAPASRMS23, added-at = {2024-01-11T00:00:00.000+0100}, author = {Amyot, Daniel and Logrippo, Luigi and Mylopoulos, John and Roveri, Marco and Anda, Amal Ahmed and Parvizimosaed, Alireza and Alfuhaid, Sofana and Sharifi, Sepehr and Rasti, Aidin and Meloche, Regan and Sousa-Diaz, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2dc1efec0ed2e0d5e522c98d18dbed4a0/dblp}, booktitle = {CASCON}, crossref = {conf/cascon/2023}, editor = {Shirani, Paria and Onut, Iosif-Viorel and Branco, Paula}, ee = {https://dl.acm.org/doi/10.5555/3615924.3623631}, interhash = {f999e5e372a1b4cf1a3c94f544a7661e}, intrahash = {dc1efec0ed2e0d5e522c98d18dbed4a0}, keywords = {dblp}, pages = {235-237}, publisher = {ACM}, timestamp = {2024-04-10T02:42:15.000+0200}, title = {Engineering Smart Contracts with Symboleo: A Progress Report.}, url = {http://dblp.uni-trier.de/db/conf/cascon/cascon2023.html#AmyotLMRAPASRMS23}, year = 2023 }