%0 Conference Paper %1 conf/models/RastiAPRLAM22 %A Rasti, Aidin %A Amyot, Daniel %A Parvizimosaed, Alireza %A Roveri, Marco %A Logrippo, Luigi %A Anda, Amal Ahmed %A Mylopoulos, John %B MoDELS %D 2022 %E Syriani, Eugene %E Sahraoui, Houari A. %E Bencomo, Nelly %E Wimmer, Manuel %I ACM %K dblp %P 300-310 %T Symboleo2SC: from legal contract specifications to smart contracts. %U http://dblp.uni-trier.de/db/conf/models/models2022.html#RastiAPRLAM22 %@ 978-1-4503-9466-6

@inproceedings{conf/models/RastiAPRLAM22, added-at = {2023-03-21T00:00:00.000+0100}, author = {Rasti, Aidin and Amyot, Daniel and Parvizimosaed, Alireza and Roveri, Marco and Logrippo, Luigi and Anda, Amal Ahmed and Mylopoulos, John}, biburl = {https://www.bibsonomy.org/bibtex/2ae54b5e8d91a9b842fff7d0859ad0bbf/dblp}, booktitle = {MoDELS}, crossref = {conf/models/2022}, editor = {Syriani, Eugene and Sahraoui, Houari A. and Bencomo, Nelly and Wimmer, Manuel}, ee = {https://doi.org/10.1145/3550355.3552407}, interhash = {a4fd39ddde91112439b8ff14c380d5aa}, intrahash = {ae54b5e8d91a9b842fff7d0859ad0bbf}, isbn = {978-1-4503-9466-6}, keywords = {dblp}, pages = {300-310}, publisher = {ACM}, timestamp = {2024-04-09T21:59:55.000+0200}, title = {Symboleo2SC: from legal contract specifications to smart contracts.}, url = {http://dblp.uni-trier.de/db/conf/models/models2022.html#RastiAPRLAM22}, year = 2022 }