Verification of Web Services
Jianwen Su (UC Santa Barbara)
Presented at
International School of Formal Methods, 2009
Powerpoint
,
PDF
Last modified: Thu Jun 11 13:33:16 PDT 2009