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