The paper Deductive Verification of Smart Contracts with Dafny, by
Franck Cassez, Joanne Fuller and Horacio Mijail Anton Quiles received the best paper award of FMICS22.
The paper Deductive Verification of Smart Contracts with Dafny, by
Franck Cassez, Joanne Fuller and Horacio Mijail Anton Quiles received the best paper award of FMICS22.