2 results for 'Rocco De Nicola'

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in...

We welcome you to Coordination '99, the third in a series of conferences d- icated to an important perspective on the development of complex software systems. That perspective is shared by a growing...