A Framework for Verifying BPMN with Hoare Logic.

Wei Lin, Sini Chen, Huibiao Zhu

Browse the full QRS paper archive.