Artikel in einem Konferenzbericht,
Engineering Smart Contracts with Symboleo: A Progress Report.
D. Amyot, L. Logrippo, J. Mylopoulos, M. Roveri, A. Anda, A. Parvizimosaed, S. Alfuhaid, S. Sharifi, A. Rasti, R. Meloche, und D. Sousa-Diaz.CASCON, Seite 235-237. ACM, (2023)
Metadaten
- BibTeX-Schlüssel
- conf/cascon/AmyotLMRAPASRMS23
- Eintragstyp
- inproceedings
- Buchtitel
- CASCON
- Jahr
- 2023
- Seiten
- 235-237
- Verlag
- ACM
- BibTeX-Querverweis
- conf/cascon/2023
- ee
- https://dl.acm.org/doi/10.5555/3615924.3623631
- URL
- http://dblp.uni-trier.de/db/conf/cascon/cascon2023.html#AmyotLMRAPASRMS23
Tags
Nutzer
Kommentare und Rezensionenanzeigen / verbergen
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -%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
}