APA (7th ed.) Citation

FORTE Online, Gotsman, A., & Sokolova, 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. https://doi.org/10.1007/978-3-030-50086-3

Chicago Style (17th ed.) Citation

FORTE Online, Alexey Gotsman, and Ana Sokolova. 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, Switzerland: Springer, 2020. https://doi.org/10.1007/978-3-030-50086-3.

MLA (9th ed.) Citation

FORTE Online, et al. 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. https://doi.org/10.1007/978-3-030-50086-3.