Heunen, C. &
Sigal, J.,
8 Mar 2023,
Proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2023). Glück, R., Santocanale, L. & Winter, M. (eds.).
Springer,
p. 241-257 16 p. (Lecture Notes in Computer Science; vol. 13896, no. 1).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution