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

Diego Calvanese, Magdalena Ortiz, Mantas Simkus

Browse the full ICDT paper archive.