“FORMAL VERIFICATION OF DATA MODIFICATIONS IN CLOUD BLOCK STORAGE BASED ON SEPARATION LOGIC”. International Journal of Engineering Research and Science & Technology 22, no. 2(4) (July 7, 2026): 1477–1486. Accessed October 2, 2026. https://ijerst.org/index.php/ijerst/article/view/3890.