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. International Journal for Research Publication and Seminar, [S. l.], v. 15, n. 3, p. 239–254, 2024. DOI: 10.36676/jrps.v15.i3.1488. Disponível em: https://jrps.shodhsagar.com/index.php/j/article/view/1488. Acesso em: 22 sep. 2024.