Verifying BPEL-Like Programs with Hoare Logic.

Chenguang Luo, Shengchao Qin, Zongyan Qiu

Browse the full TASE paper archive.