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