Deductive Verification of Smart Contracts with Dafny.

Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles

Browse the full FMICS paper archive.