Ayesha Naveed. 2020. “Formal Verification and Design of Smart Stick for Blind People”. LC International Journal of STEM (ISSN: 2708-7123) 1 (3):1-7. https://doi.org/10.5281/zenodo.5148253.