| [1] | Wolfgang Ahrendt, Jonas Becker-Kupczok, Simon Bliudze, Petra van den Bos, Marco Eilers, Gidon Ernst, Martin Fabian, Paula Herber, Marieke Huisman, Raúl E. Monti, Robert Rubbens, Larisa Safina, Jonas Schiffl, Alexander J. Summers, Mattias Ulbrich, and Alexander Weigl. From model checking to deductive verification: Results from a smart contract community challenge. International Journal on Software Tools for Technology Transfer (STTT), 2025. Under review. [ bib ] |
This file was generated by bibtex2html 1.96.