@article{937590,
      note = {Includes author index.},
      author = {Gotsman, Alexey, and Sokolova, Ana,},
      url = {http://library.usi.edu/record/937590},
      title = {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 /.  FORTE Conference},
      doi = {https://doi.org/10.1007/978-3-030-50086-3},
      recid = {937590},
      pages = {1 online resource (xii, 237 pages) :},
}