Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Research on Theorem Proof Based Web Services Composition Method
YU Qiang; LIANG Li
Computer Engineering . 2006, (20): 51 -52 .  DOI: 10.3969/j.issn.1000-3428.2006.20.019