Fahim Arif2SS. Automation of Software Modeling and Verification. IJCRT [Internet]. 4Jul.2019 [cited 23Nov.2024];2(1):42-3. Available from: http://ijcrt.smiu.edu.pk/ijcrt/index.php/smiu/article/view/49