Venudhar Rao Hajari, Abhishek Pandurang Benke, Er. Om Goel, Pandi Kirupa Gopalakrishna Pandian, Dr. Punit Goel, Akshun Chhapola,. Innovative Techniques for Software Verification in Medical Devices. JRPS [Internet]. 2024 Aug. 31 [cited 2024 Nov. 21];15(3):239-54. Available from: https://jrps.shodhsagar.com/index.php/j/article/view/1488