Formal Techniques for Distributed Objects, Components, and Systems42nd IFIP WG 6. 1 International Conference, FORTE 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-18, 2022, Proceedings
Springer International Publishing AG2022-01-01
