FORTE Conference (2020 :)

Formal techniques for distributed objects, components, and systems = 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings / by: FORTE Conference (2020 :); Gotsman, Alexey.; Sokolova, Ana.; SpringerLink (Online service); International Federated Conferences on Distributed Computing Techniques (2020 :) (Electronic resources)