Published in: Dagstuhl Reports, Volume 11, Issue 9 (2022)
Nikolaj S. Bjørner, Maria Christakis, Matteo Maffei, and Grigore Rosu. Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431). In Dagstuhl Reports, Volume 11, Issue 9, pp. 80-101, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Article{bjrner_et_al:DagRep.11.9.80, author = {Bj{\o}rner, Nikolaj S. and Christakis, Maria and Maffei, Matteo and Rosu, Grigore}, title = {{Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431)}}, pages = {80--101}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2022}, volume = {11}, number = {9}, editor = {Bj{\o}rner, Nikolaj S. and Christakis, Maria and Maffei, Matteo and Rosu, Grigore}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.9.80}, URN = {urn:nbn:de:0030-drops-159198}, doi = {10.4230/DagRep.11.9.80}, annote = {Keywords: automated reasoning, cryptographic protocols, program verification, programming languages, smart contracts} }
Feedback for Dagstuhl Publishing