Fahim Arif2S. S. (2019). Automation of Software Modeling and Verification. International Journal of Computing and Related Technologies, 2(1), 42-53. Retrieved from http://ijcrt.smiu.edu.pk/ijcrt/index.php/smiu/article/view/49