KUMAR, Yenam Naresh; MADHAVI, Karanam. Specification and Verification Framework with Time Constraints for Security. International Journal of Computer Sciences and Engineering, [S. l.], v. 6, n. 11, p. 607–614, 2025. DOI: 10.26438/ijcse/v6i11.607613. Disponível em: https://ijcse.isroset.org/index.php/j/article/view/3704. Acesso em: 2 feb. 2026.