Turkenburg, R.,
Kupke, C., Rot, J. &
Schoen, E.,
21 Apr 2023,
Foundations of Software Science and Computation Structures. Kupferman, O. & Sobocinski, P. (eds.). Cham, Switzeraland:
Springer,
p. 328-348 21 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book