Khan, S., & 		Jamshed, H.
(2016).
 Analysis of Formal Methods for Specification of E-Commerce Applications.
<em>Mehran University Research Journal Of Engineering And Technology, 35</em>(1), 19-28.
doi:10.22581/muet1982.1601.03