35 citations · 35 across the 2 of their papers we have counts for
1 paper · 1 filter
Lars Brunjes, Murdoch J. Gabbay
We implement two versions of a simple but illustrative smart contract: one in Solidity on the Ethereum blockchain platform, and one in Plutus on the Cardano platform, with annotate…