Translation Certification for Smart Contracts.

Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra

Browse the full FLOPS paper archive.