%0 Conference Paper %1 conf/cav/BrownKGU22 %A Brown, Chad E. %A Kaliszyk, Cezary %A Gauthier, Thibault %A Urban, Josef %B FMBC@CAV %D 2022 %E Dargaye, Zaynah %E Schneidewind, Clara %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 4:1-4:15 %T Proofgold: Blockchain for Formal Methods. %U http://dblp.uni-trier.de/db/conf/cav/fmbc2022.html#BrownKGU22 %V 105 %@ 978-3-95977-250-1

@inproceedings{conf/cav/BrownKGU22, added-at = {2023-03-21T00:00:00.000+0100}, author = {Brown, Chad E. and Kaliszyk, Cezary and Gauthier, Thibault and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/21c32eb4d0ab6216793b8033c87ddadb9/dblp}, booktitle = {FMBC@CAV}, crossref = {conf/cav/2022fmbc}, editor = {Dargaye, Zaynah and Schneidewind, Clara}, ee = {https://doi.org/10.4230/OASIcs.FMBC.2022.4}, interhash = {a189b113df098bede340a5287bee204a}, intrahash = {1c32eb4d0ab6216793b8033c87ddadb9}, isbn = {978-3-95977-250-1}, keywords = {dblp}, pages = {4:1-4:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASIcs}, timestamp = {2024-04-09T10:16:32.000+0200}, title = {Proofgold: Blockchain for Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/cav/fmbc2022.html#BrownKGU22}, volume = 105, year = 2022 }