Ayesha Naveed. Formal Verification and Design of Smart Stick for Blind People. LC-JSTEM 2020, 1, 1-7.