Verification of Artifact Lifecycle Model.

Xiaomei Wan, Guohua Liu

Browse the full CIS paper archive.