Presentation at ISoLA 2021

Stefano will present at ISoLA 2021, track on Rigorous Engineering of Collective Adaptive Systems.