Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Foundations of Software Science and Computation Structures

Pascal Baumann, Flavio D’Alessandro, Moses Ganardi, et al.
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 13992 240 (2023)
https://doi.org/10.1007/978-3-031-30829-1_12

Foundations of Software Science and Computation Structures

Bartosz Bednarczyk and Jakub Michaliszyn
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 12650 82 (2021)
https://doi.org/10.1007/978-3-030-71995-1_5