Sign in

Dynamic Slicing of Reaction Systems Based on Assertions and Monitors.

Linda BrodoRoberto BruniMoreno Falaschi
Published in: PADL (2023)
Keyphrases