Posted by asad
Our paper Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL is published in Formal Aspects of Computing.
