TY  - SER
AU  - Khan, Sadiq Ali
AU  - Jamshed, Huma
TI  - Analysis of  Formal Methods  for  Specification of E-Commerce Applications
KW  -  Formal Methods
KW  - E-Commerce Applications
KW  - Specification Language
ER  -