Our paperĀ Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOLĀ is published in Formal Aspects of Computing.Ā
Paper published in the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6ā8, 2024.