Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Linda Brodo
conf.researchr.org general profile
POPL 2023 profile
Not registered as user
Name:
Linda Brodo
Country:
Italy
Affiliation:
Università di Sassari
Contributions
2023
Symposium on Practical Aspects of Declarative Languages
Session Chair of Verification (part of PADL 2023)
Author of Dynamic slicing of Reaction Systems based on assertions and monitors within the PADL 2023-track
Share
x
Wed 15 Jan 08:18