Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual.

Natalia Sidorova, Christian Stahl, Nikola Trcka

Browse the full CaiSE paper archive.