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