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