Massimo Merro

Registered user since Wed 9 Mar 2022

Name:Massimo Merro
Country:Italy
Affiliation:University of Verona
Research interests:Concurrency theory, Formal verification and Cyber-physical systems security

Contributions