TY  - BOOK
AU  - Ahmad, Asad
AU  - Supervisor:Dr.Osman Hasan
TI  - Formal Analysis of Power Electronics Circuits using Theorem Proving
U1  - 200 
PY  - 2022///
CY  - Islamabad
PB  - SEECS NUST
KW  - PhD-  Information Technology
UR  -  http://10.250.8.41:8080/xmlui/handle/123456789/34204
ER  -