TY  - BOOK
AU  - Muhammad Usman Sanwal.
AU  - Dr. Osman Hasan.
TI  - Formal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving
U1  - 004 
PY  - 2012///
CY  - Islamabad
PB  - RCMS - NUST
KW  - Computational Science And Engineering - MS Thesis
ER  -