TY  - RPRT
TI  - OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications
AU  - Anas AlSobeh
PY  - 2024
DO  - 10.30935/ojcmt/13771
UR  - https://arxiv.org/abs/2403.01349
ID  - 2403.01349
ER  -