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