FORTE Online & Gotsman, A. (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. Springer.
Chicago-Zitierstil (17. Ausg.)FORTE Online und Alexey Gotsman. 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. Cham: Springer, 2020.
MLA-Zitierstil (9. Ausg.)FORTE Online und Alexey Gotsman. 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. Springer, 2020.