1 citations · 1 across the 1 of their papers we have counts for
1 paper
Mark Utting, Liam Kent
We describe the verification of an existing smart contract for a simple casino application, using the Whiley specification and programming language, with a fully automated verifica…