Ayesha Naveed. Formal Verification and Design of Smart Stick for Blind People. LC-JSTEM [Internet]. 2020Oct.6 [cited 2024Apr.29];1(3):1-7. Available from: http://lcjstem.com/index.php/jstem/article/view/16