Khan, Sadik Ali, & Huma Jamshed.
" Analysis of Formal Methods for Specification of E-Commerce Applications." <em>Mehran University Research Journal of Engineering and Technology</em> [Online], 35.1 (2016): 19-28. Web.  4 May. 2024