Ayesha Naveed. “Formal Verification and Design of Smart Stick for Blind People”. LC International Journal of STEM (ISSN: 2708-7123) 1, no. 3 (October 6, 2020): 1-7. Accessed April 28, 2024. http://lcjstem.com/index.php/jstem/article/view/16.