Verification of Web Services

Jianwen Su (UC Santa Barbara)

Presented at International School of Formal Methods, 2009


Last modified: Thu Jun 11 13:33:16 PDT 2009