Venudhar Rao Hajari, Abhishek Pandurang Benke, Er. Om Goel, Pandi Kirupa Gopalakrishna Pandian, Dr. Punit Goel, & Akshun Chhapola,. (2024). Innovative Techniques for Software Verification in Medical Devices. International Journal for Research Publication and Seminar, 15(3), 239–254. https://doi.org/10.36676/jrps.v15.i3.1488