Verifying BPEL-Like Programs with Hoare Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chenguang Luo, Shengchao Qin, Zongyan Qiu. Verifying BPEL-Like Programs with Hoare Logic. In Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. pages 151-158, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Chenguang Luo' in GoogleThis author has not been identified. Look up 'Shengchao Qin' in GoogleThis author has not been identified. Look up 'Zongyan Qiu' in Google

runs on WebDSL