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