FORTE Conference (2025 :)

Formal techniques for distributed objects, components, and systems = 45th IFIP WG 6.1 International Conference, FORTE 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025 : proceedings / by: FORTE Conference (2025 :); Ferreira, Carla.; Mezzina, Claudio Antares.; SpringerLink (Online service); International Federated Conference on Distributed Computing Techniques (2025 :) (Electronic resources)