scientific article; zbMATH DE number 7471711

MaRDI QIDQ5028478

Stefano Lande, Massimo Bartoletti, Roberto Zunino, Maurizio Murgia

Publication date: 9 February 2022

Full work available at URL: https://arxiv.org/abs/2011.14165

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationliquidityblockchainBitcoinsmart contractsBitML

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (1)

Liquidity analysis in resource-aware programming

Uses Software

• GitHub

Cites Work

• How to Use Bitcoin to Design Fair Protocols
• Modelling and Verifying Contract-Oriented Systems in Maude
• Modeling Bitcoin Contracts by Timed Automata

This page was built for publication: