Al-Refai H, Batiha K. Enhancing formal specification and verification of e-commerce protocol. JACST [Internet]. 2017 Feb. 26 [cited 2024 May 5];6(1):13-9. Available from: https://sciencepubco.com/index.php/JACST/article/view/6713