@book{534739,
	author = {Muhammad Usman Sanwal. and Dr. Osman Hasan.},
	title = {Formal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving /},
	publisher = {RCMS - NUST,},
	year = {2012.},
	address = {Islamabad :}
}