Login / Signup

Verification of Evolving Graph-structured Data under Expressive Path Constraints.

Diego CalvaneseMagdalena OrtizMantas Simkus
Published in: ICDT (2016)
Keyphrases