Towards a B-Method Framework for Smart Contract Verification: The Case of ACTUS Financial Contracts.

Zakaryae Boudi, Mohamed Toub

Browse the full CRiSIS paper archive.