AYESHA NAVEED. Formal Verification and Design of Smart Stick for Blind People. LC International Journal of STEM (ISSN: 2708-7123), [S. l.], v. 1, n. 3, p. 1-7, 2020. DOI: 10.5281/zenodo.5148253. Disponível em: http://lcjstem.com/index.php/jstem/article/view/16. Acesso em: 29 apr. 2024.