Fayçal Baba, Amel Mammar, Marc Frappier, Régine Laleau. Modeling and Verification of Solidity Smart Contracts with the B Method. In Guangdong Bai, Fuyuki Ishikawa, Yamine Aït Ameur, George A. Papadopoulos, editors, Engineering of Complex Computer Systems - 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings. Volume 14784 of Lecture Notes in Computer Science, pages 159-178, Springer, 2024. [doi]
Abstract is missing.