Venudhar Rao Hajari, Abhishek Pandurang Benke, Er. Om Goel, Pandi Kirupa Gopalakrishna Pandian, Dr. Punit Goel, and Akshun Chhapola,. “Innovative Techniques for Software Verification in Medical Devices”. International Journal for Research Publication and Seminar 15, no. 3 (August 31, 2024): 239–254. Accessed September 22, 2024. https://jrps.shodhsagar.com/index.php/j/article/view/1488.