@book{610542,
	author = {Ahmad, Asad and Supervisor:Dr.Osman Hasan},
	title = {Formal Analysis of Power Electronics Circuits using Theorem Proving/},
	publisher = {SEECS NUST;},
	year = {2022.},
	address = {Islamabad;},
	url = { http://10.250.8.41:8080/xmlui/handle/123456789/34204}
}