TY  - BOOK
AU  - Anum Tahir Harris Bin Khalid Umar Shadab Butt
AU  - Supervisors Dr. Umar Shahbaz Khan Dr. Kashif Saghar (NESCOM) Asst. Prof. Kanwal Naveed Lec. Usman Asad
TI  - PR-SOF-1780-FORMAL VERIFICATION, DESIGN AND DEVELOPMENT OF A FIRE FIGHTING ROBOT
U1  - 220 PRO 
PY  - 2019///
CY  - ISLAMABAD
PB  - NUST COLLEGE OF EME
KW  - DE-MTS-37  DECLASS
ER  -