GOTSMAN, Alexey und SOKOLOVA, Ana (Hrsg.). 1 st ed. 2020. Cham: Springer International Publishing. ISBN 9783030500863.

Gotsman, A., Sokolova, A. (Hrsg.), 2020. Formal Techniques for Distributed Objects, Components, and Systems : 40 th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15 th International Federated Conference on Distributed Computing Techniques, Dis Co Tec 2020, Valletta, Malta, June 15–19, 2020, Proceedings, 1 st ed. 2020. ed, Programming and Software Engineering. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-030-50086-3

Formal Techniques for Distributed Objects, Components, and Systems : 40 th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15 th International Federated Conference on Distributed Computing Techniques, Dis Co Tec 2020, Valletta, Malta, June 15–19, 2020, Proceedings. (ca. 2020). [Cd]. In A. Gotsman & A. Sokolova (Hrsg.), Programming and Software Engineering (1 st ed. 2020). Springer International Publishing. https://doi.org/10.1007/978-3-030-50086-3

Gotsman A, Sokolova A (Hrsg.) (2020) Formal Techniques for Distributed Objects, Components, and Systems : 40 th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15 th International Federated Conference on Distributed Computing Techniques, Dis Co Tec 2020, Valletta, Malta, June 15–19, 2020, Proceedings, 1 st ed. 2020. Springer International Publishing, Cham

Gotsman, Alexey/ Sokolova, Ana (Hrsg.), Formal Techniques for Distributed Objects, Components, and Systems : 40 th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15 th International Federated Conference on Distributed Computing Techniques, Dis Co Tec 2020, Valletta, Malta, June 15–19, 2020, Proceedings, 1 st ed. 2020 , Cham 2020.