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