Incremental Verification of Large ScaleWorkflows Based on Extended Correctness | IEEE Conference Publication | IEEE Xplore