Kpmg Cloud Computing Presentation Short Version
C4.1 developing for the i cargo ecosystem
Web Services: Formal Modeling and Analysis Jianwen Su University of California, Santa Barbara.
Verification of Web Services Jianwen Su University of California, Santa Barbara.
Web Services: Formal Modeling and Analysis