Formalization of Applications for Processing in the e-Commerce System | IEEE Conference Publication | IEEE Xplore