VIEW: an incremental approach to verify evolving workflows.

Mohammad Javad Amiri, Divyakant Agrawal

Browse the full SAC paper archive.