%0 Conference Paper %1 conf/fmbc/BartolettiFMPS24 %A Bartoletti, Massimo %A Fioravanti, Fabio %A Matricardi, Giulia %A Pettinau, Roberto %A Sainas, Franco %B FMBC@CAV %D 2024 %E Bernardo, Bruno %E Marmsoler, Diego %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 6:1-6:15 %T Towards Benchmarking of Solidity Verification Tools. %U http://dblp.uni-trier.de/db/conf/fmbc/fmbc2024.html#BartolettiFMPS24 %V 118 %@ 978-3-95977-317-1

@inproceedings{conf/fmbc/BartolettiFMPS24, added-at = {2024-05-22T00:00:00.000+0200}, author = {Bartoletti, Massimo and Fioravanti, Fabio and Matricardi, Giulia and Pettinau, Roberto and Sainas, Franco}, biburl = {https://www.bibsonomy.org/bibtex/278ac03954d70af8a2acd46e3b254bc78/dblp}, booktitle = {FMBC@CAV}, crossref = {conf/fmbc/2024}, editor = {Bernardo, Bruno and Marmsoler, Diego}, ee = {https://doi.org/10.4230/OASIcs.FMBC.2024.6}, interhash = {3de4b8e69672735c25188159ad426044}, intrahash = {78ac03954d70af8a2acd46e3b254bc78}, isbn = {978-3-95977-317-1}, keywords = {dblp}, pages = {6:1-6:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASIcs}, timestamp = {2024-08-26T07:25:16.000+0200}, title = {Towards Benchmarking of Solidity Verification Tools.}, url = {http://dblp.uni-trier.de/db/conf/fmbc/fmbc2024.html#BartolettiFMPS24}, volume = 118, year = 2024 }