Fahim Arif2Sidra Sultana1. “Automation of Software Modeling and Verification”. International Journal of Computing and Related Technologies 2, no. 1 (July 4, 2019): 42-53. Accessed November 23, 2024. http://ijcrt.smiu.edu.pk/ijcrt/index.php/smiu/article/view/49.