Review of the Formal Analyzing and Verifying Technologies in Electronic Commerce Systems (Ⅱ)
Du Yu-yue
YU Shu-xia
WANG Wen-hong
Machine-generated Keywords：
Publication Date：2005-01-01
Online Publishing Date：2026-08-28(First online date of this platform, not the publication date of the document)
Pages：6( 11-15,19 )