Dynamic Slicing of Reaction Systems Based on Assertions and Monitors

Chapter
Publication Date:
2023
Short description:
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors / Brodo, L., Bruni, R., Falaschi, M.. - 13880:(2023), pp. 107-124. [10.1007/978-3-031-24841-2_8]
Iris type:
2.1 Contributo in volume (Capitolo o Saggio)
List of contributors:
Authors of the University:
Handle:
https://iris.uniss.it/handle/11388/332689
Book title:
Practical Aspects of Declarative Languages