Tutorials and Lecture Notes
Jianwen Su
UC Santa Barbara
Tools for Design of Composite Web Services,
presented at SIGMOD 2004
Verification of Web Services,
presented at
International School of Formal Methods, 2009
Last modified: Thu Jun 11 13:17:03 PDT 2009