Formal Analysis of Power Electronics Circuits using Theorem Proving - Ahmad, Asad; Supervisor:Dr.Osman Hasan (Islamabad; SEECS NUST, 2022)
Keywords: PhD- Information Technology