@comment{{Command line: bib2bib -c '$key="Casino" or 1=2' /Users/bliudze/Workspace/pubs-sb/pubs-sb.bib}}
@article{Casino,
author = {Wolfgang Ahrendt and
Jonas Becker-Kupczok and
Simon Bliudze and
Petra van den Bos and
Marco Eilers and
Gidon Ernst and
Martin Fabian and
Paula Herber and
Marieke Huisman and
Raúl E. Monti and
Robert Rubbens and
Larisa Safina and
Jonas Schiffl and
Alexander J. Summers and
Mattias Ulbrich and
Alexander Weigl},
title = {From Model Checking to Deductive Verification:
Results from a Smart Contract Community Challenge},
journal = {International Journal on Software Tools for
Technology Transfer (STTT)},
year = 2025,
note = {Under review},
keywords = {journal}
}
This file was generated by bibtex2html 1.96.