FORTE Conference (2023 :)

Formal techniques for distributed objects, components, and systems = 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings / by: FORTE Conference (2023 :); Huisman, Marieke.; Ravara, Antonio.; SpringerLink (Online service); International Federated Conferences on Distributed Computing Techniques (2023 :) (Electronic resources)