Zakaryae Boudi, Mohamed Toub. Towards a B-Method Framework for Smart Contract Verification: The Case of ACTUS Financial Contracts. In Abderrahim Ait Wakrime, Guillermo Navarro-Arribas, Frédéric Cuppens, Nora Cuppens, Rédouane Benaini, editors, Risks and Security of Internet and Systems - 18th International Conference, CRiSIS 2023, Rabat, Morocco, December 6-8, 2023, Revised Selected Papers. Volume 14529 of Lecture Notes in Computer Science, pages 25-32, Springer, 2023. [doi]
Abstract is missing.