Treffer: BlockASP: A Framework for AOP-Based Model Checking Blockchain System

Title:
BlockASP: A Framework for AOP-Based Model Checking Blockchain System
Authors:
AlSobeh, A.M.R., Magableh, A.A.
Source:
IEEE Access Access, IEEE. 11:115062-115075 2023
Database:
IEEE Xplore Digital Library