Verification of Hierarchical Artifact Systems.
| Autor: | DEUTSCH, ALIN1 deutsch@cs.ucsd.edu, YULIANG LI1 yul206@eng.ucsd.edu, VIANU, VICTOR1 vianu@cs.ucsd.edu |
|---|---|
| Zdroj: | ACM Transactions on Database Systems. Jun2019, Vol. 44 Issue 3, p1-68. 68p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|