Alberto Tagliaferro -

Registered user since Fri 16 Feb 2024

Name:Alberto Tagliaferro

Country:Italy

Affiliation:Politecnico di Milano, Italy

Contributions

2024

FormaliSE

Author of Towards Verifiable Multi-Agent Interaction Pattern Specification within the FormaliSE 2024-track