Review of the Formal Analyzing and Verifying Technologies in Electronic Commerce Systems ( Ⅰ )
Du Yu-yue
Machine-generated Keywords：
Publication Date：2004-01-01
Online Publishing Date：2026-08-28(First online date of this platform, not the publication date of the document)
Pages：7( 15-20,27 )