BibTeX record conf/overlay/OlivieriP23

download as .bib file

@inproceedings{DBLP:conf/overlay/OlivieriP23,
  author       = {Luca Olivieri and
                  Luca Pasetto},
  editor       = {Andrea Brunello and
                  Alessandro Gianola and
                  Fabio Mogavero},
  title        = {Towards Compliance of Smart Contracts with the European Union Data
                  Act},
  booktitle    = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
                  and Formal Verification, Logic, Automata, and Synthesis hosted by
                  the 22nd International Conference of the Italian Association for Artificial
                  Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3629},
  pages        = {61--66},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3629/paper10.pdf},
  timestamp    = {Wed, 07 Feb 2024 16:02:39 +0100},
  biburl       = {https://dblp.org/rec/conf/overlay/OlivieriP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics