Asad Ahmed

Isabelle/Solidity - A shallow Embedding of Solidity in Isabelle/HOL

by Diego Marmsoler, Asad Ahmed and Achim D. Brucker