Roberto Bruni

Registered user since Tue 12 Nov 2019

Name:Roberto Bruni
Country:Italy
Affiliation:University of Pisa

Contributions

PADL 2023 Dynamic slicing of Reaction Systems based on assertions and monitors
Show activities from other conferences

Using general profile