Towards Formally Verified Smart Contracts Compilation.

Elvira Albert, Samir Genaim, Enrique Martin-Martin

Browse the full FM paper archive.