Fahim Arif2S. S. (2019) “Automation of Software Modeling and Verification”, International Journal of Computing and Related Technologies, 2(1), pp. 42-53. Available at: http://ijcrt.smiu.edu.pk/ijcrt/index.php/smiu/article/view/49 (Accessed: 23November2024).