Lipari School on Computational Complex Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems 2nd TMA Phd School
