Verification of Hierarchical Artifact Systems.

Alin Deutsch, Yuliang Li, Victor Vianu

Browse the full PODS paper archive.