García, Roberto
- Path-based Algebraic Foundations of Graph Query Languages
2024/07/05 by Renzo Angles, Angles, Renzo, Angela Bonifati +5 · 2 citations
Computer Science · #Formal Methods in Verification #Advanced Database Systems and Queries #Model-Driven Software Engineering Techniques