Return to Article Details Analysis of Formal Methods for Specification of E-Commerce Applications Download Download PDF