Modeling and Verification of Solidity Smart Contracts with the B Method. - Fayçal Baba; Amel Mammar; Marc Frappier; Régine Laleau (ICECCS, 2024)